Sign test

Merge Simple map branch with map and reachtube computation to main branch. 

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