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