As I read it, it felt more like an exploration from state space stand point (and not an example of model checking) which to me sounded quite reasonable. Unusual and intuitive I'd say.
I can see where the parent is coming from.
I think you can both be right - it can be valuable in any case.