ImplSpec section misses bracket: bodyClause = {init, filterArgument(dropArguments(body, 1, int.class), 0, MH_decrement}; // v = body(i-1, v)