reachable_states()
removed constraints for actions that don't change the state