Enhancing state space reduction techniques for model checking by D. Bosnacki