CallInstr is always a ResultInstr.