Re-engineer the runtime so that the previous relationship One Scriptfunction <-> One bytecode snippet isn't hard coded anymore. This has even been violated before in the case "one method - many specializations". In such an environment "isVarArg" is really a meningsless question - some versions of the method may be varArg and some may not "needsCallee" is also not meaningful to ask on this level.