remove goal clauses found in no topo test from final guilty clauses