Downward Path Preserving State Space Abstractions (Extended Abstract)