private void visitBinaryArithmeticInstructionRead(BinaryInstruction instr) {
ValueRef op1 = instr.getOp1();
ValueRef op2 = instr.getOp2();
visitValueRef(op1);
visitValueRef(op2);
}
@Override
public ResolvedType caseBinaryInstruction(BinaryInstruction object) {
return resolve(object.getType());
}