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

Simple map

Merge demo for ICRA to main