Title: Enhancing state space reduction techniques for model checking