let
reachable_states = ref 0