Dereference just once the argIndex. Early return when we know we cannot continue.
We need to close the return earlier because the code should be invariant on the if stmt.
Only refer to dependent variables through indices (i.e. IntegerLiterals).

Do not rely on ParamVarDecls of unknown (to the derived fn) origin.