final Set<ATermAppl> explanationSet = getExplanationSet(); final boolean removed = explanationSet.remove(tempAxiom); if (!removed) for (final ATermAppl axiom : getExplanationSet())
final Set<ATermAppl> explanationSet = getExplanationSet(); final boolean removed = explanationSet.remove(tempAxiom); if (!removed) for (final ATermAppl axiom : getExplanationSet())