Abstract Reduction in Directed Model Checking CCS Processes