def test_convert_to_prover9(expr):
 for t in expr:
  e = Expression.fromstring(t)
  print(convert_to_prover9(e))

def test_convert_to_prover9 ( expr ) : for t in expr : e = Expression . fromstring ( t ) print ( convert_to_prover9 ( e ) )
test that parsing works ok .