Property-Driven Partitioning for Abstraction Refinement