Ensure no generic function call within iterator loop

[katat]

Currently we don't support for loop unrolling, so we need to forbid generic function calls within for loop.

Although this check is covered by the FnCall and MethodCall cases, we can add a negative test just to ensure there is no generic function call for the newly added feature, iterator loop #169.