public static IConstraint <FunctionTerm> Abstract(this IConstraint <ValueTerm> constraint, params Variable[] variables) { return(constraint.Abstract((IEnumerable <Variable>)variables)); }