Exploiting Path Refinement Abstraction in Domain Transition Graphs