Create pysmt.py