Automated Program Debugging Via Multiple Predicate Switching