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