private static bool MultiplyAtMostOneNonconstant(IVariable[] arguments) { return arguments.Count(a => a.IsNotConstant()) <= 1; }