fixup! Binary: More consistent distinquishing of local variables and temp variables in the IR.

Author: MathiasVP

binary/ql/lib/semmle/code/binary/ast/ir/internal/Instruction1/Instruction1.qll

@@ -320,7 +320,7 @@ module InstructionInput implements Transform<Instruction0>::TransformInputSig {
 
     predicate hasJumpCondition(InstructionTag tag, ConditionKind kind) { none() }
 
-    predicate hasTempVariable(VariableTag tag) { none() }
+    predicate hasTempVariable(TempVariableTag tag) { none() }
 
     predicate hasLocalVariable(LocalVariableTag tag) { none() }