Extract common supertype Instruction_invoke