Coverage Preserving Reduction Strategies for Reachability Analysis