keep working on handling the continuous and discrete part of reset for verification of the two car example

implement code to handle the discrete part of the guard, need to work on the continuous part of the guard

further refine how variables are stored in ControllerAst, deciding the interface for setting map and sensor for user

should work with generateGraph (output will look like billiard_out.json)