Counterexample Guided Abstraction Refinement with Non-Refined Abstractions for Multi-Agent Path Finding