context.getBuildStack().push( forall );
for ( final Iterator it = forallDescr.getRemainingPatterns().iterator(); it.hasNext(); ) {
final Pattern anotherPattern = (Pattern) patternBuilder.build( context,
(PatternDescr) it.next() );
forall.addRemainingPattern( anotherPattern );
}
if ( forallDescr.getDescrs().size() == 1 ) {
// An optimization for unlinking, where we allow unlinking if the resulting 'not' node has no constraints