GF (horMot=MOVE)
GF (spec_state=S0|spec_state=S1)
GF (spec_state_return=S0|spec_state_return=S1|spec_state_return=S3)
GF (spec_state_seek=S0|spec_state_seek=S1|spec_state_seek=S3)
GF (spec_state_return=S0|spec_state_return=S2)
GF (elevMot=FWD)
GF (balancer=FWD)
GF (balancer=TURN_RIGHT|balancer=TURN_LEFT)
GF (spec_nextMoveMode=FWD)
GF (nextMoveMode=FWD)
GF (search=M0)
GF (spec_policy=PARKED)
GF (policy=PARKED)
GF (policy=PARKED&colorSense=GREEN)
GF ((throttle=FWD)&(steer=CENTER))
GF (spec_park)
GF (spec_policy=PARKED&colorSense=GREEN)
GF ((spec_policy=PARKED&colorSense=GREEN)|command!=AUTO)
GF (carStatus=PARKED)
GF !taskAtStationZero
GF !taskAtStationOne
GF !taskAtStationTwo
GF !taskAtStationThree
GF !goToBaseStation
GF forwarding
GF (noRequests)
GF (noTasks)
GF shuttleTasks[0]=false
GF shuttleTasks[1]=false
GF shuttleTasks[2]=false
GF shuttleTasks[3]=false
GF (inRange | farFromNextCar | (tooClose & stopping))
GF (inLane)
GF (!stopping)
GF (inRange | laneClear | (tooClose & stopping))
GF (inRange | laneClear)
GF(!memCall0)
GF(!memCall1)
GF(!memCall2)
GF(!memCall3)
GF(doorsAreClosed|(atEmergencyFloor&!doorsWereFullyOpened))
GF (mode = PARKED)
GF scanning
GF mode = PARKED
GF (mode = PARKED | mode = EXIT)
GF parked
GF reverseParking | parallelParking
GF (mode = PARKED | manual = true | button = true)
GF (mode = PARKED | manual = true)
GF forwarding & steeringMotor = STRAIGHT
GF (stopping & (status = PARALLEL | status = REVERSE) & mode = PARKING) 
GF sorted
