Before revision: fault collapsing significantly decreases the number of faults to check .
After revision: fault collapsing significantly decreases the number of faults to check