public override Term AggregateConstants() { Constraint = Constraint.AggregateConstants(); Utility = Utility.AggregateConstants(); return(this); }