id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
334	Simplification of function application	zirkel		"In IdealSimplifier.simplifyApply(EvaluatedFunctionExpression apply), there is a loop to handle the arguments to the apply.

{{{
for (int i = 0; i < numArgs; i++) {
	Simplification argumentSimplification = simplifyTree(apply
			.argument(i));
	change = change || argumentSimplification.success();
	newArguments[i] = argumentSimplification.result();
}
}}}

However, the method EvaluatedFunctionExpression.argument(int index) returns the function for index=0, and starts the function arguments at index=1.  Thus, the call to this method should probably be either 
{{{
apply.argument(i+1)
}}}
or else
{{{
apply.functionArgument(i)
}}}

I can make the change, I just wanted to confirm that my interpretation is correct."	defect	closed	major		symbolic		fixed