":=".equals( evaluatorString ) ? Operator.EQUAL.getOperatorString() : evaluatorString );
Restriction vr = new VariableRestriction( extractor, declaration, evaluator );
if ( ":=".equals( evaluatorString ) ) {
vr = new UnificationRestriction( (VariableRestriction) vr );
}
VariableConstraint vc = new VariableConstraint( extractor,
vr );