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