pycufsm.solve.analysis