z3_GenTEST_Assignment_2.py