Allow finding a state by predicate

This would be implemented using StateSpace.getTraceToState or FindStateCommand.