Configuration: 0 with short: True
> testing translation candidate 0 :
([putS],[takeS])
>>> testing pi program 0
([[Output "x" "y",Input "x" "y" 0,Stop]],False,False)
ok
> done!
==================================================================
  Summary
==================================================================

Used counterexamples: [0]
Number of candidates: 1