ACC criteria are considered to be expensive for testers, and attempts have been made to reduce the cost. Why is it generally not a good idea to just rewrite the program to eliminate multi-clause predicates, thus reducing the problem to branch testing?