for(Clause frameClause : frame.getClauses()) { if (clause.equals(frameClause)) { redundant = handleDuplicateClause(frame, frameClause);
for(Clause frameClause : frame.getClauses()) { if (clause.equals(frameClause)) { redundant = handleDuplicateClause(frame, frameClause);