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