// The reason why this is here is because forall can inject a
// "this == " + BASE_IDENTIFIER $__forallBaseIdentifier
// Which we don't want to actually count in the case of forall node linking
context.setEmptyForAllBetaConstraints( true );
}
not2.addChild( (Pattern) forall.getRemainingPatterns().get( 0 ) );
and.addChild( not2 );
} else if ( forall.getRemainingPatterns().size() > 1 ) {
final GroupElement and2 = GroupElementFactory.newAndInstance();
for ( final Iterator it = forall.getRemainingPatterns().iterator(); it.hasNext(); ) {
and2.addChild( (Pattern) it.next() );