Add "findClause" method to find the clause that makes a case true