Uses of Class
solver.Z3Context