private void visitLoadInstructionRead(Instruction_load instr) { visitValueRef(instr.getPointer().getRef()); }
@Override public ResolvedType caseInstruction_load(Instruction_load object) { return resolve(object.getPointer().getType()).getContainedType(0); }