mutable
actions = ([]: (bool * hlpsl_transition) list)