print_reachable_states [-h]
Prints the number of reachable states of the given model. The reachable states are coputed if needed.