Method on EXECUTE-INSTRUCTION specialized to TAILCALL-INSTRUCTION.