Debugging F16 scene creation. Agent instantiation. See file demo/F16/F16_waypoint_scene.py. Resume debugging at line 85

Keyi opt

Simple map

add more examples; handle unary op NOT in verification; handle fix bug in handle of left_lane/right_lane built-in function in any/all statement; utilize how guard for multiple agents are handled in simulation

working on performance optimization by moving around code performing unroll and handle discrete variables