Abstraction along with partial order reduction