let
sequential_transition_rules = ref ([] : (if_state * if_state) list)