xfail
in plato.Input recursion_fail.in