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