Sensor:
fps 67 85
Custom fps.srs
Actuator:
lil 380 90
SingleStateAct lilstate lilevent lilval 4 1
Safety Invariant:
fps = 0
lilval = 0
Safety Invariant:
fps = 1
lilval = 1
Safety Invariant:
fps = 2
lilval = 2
Safety Invariant:
fps = 3
lilval = 3
Safety Invariant:
fps = 4
lilval = 4