void (CallInstruction instruction, int offset, int nextOffset) { visitInstruction(instruction, offset, nextOffset); // clear return statements after procedure as well for (int i = instruction.procBegin; i < instruction.procEnd + 3; i++) { maybeUnassigned[i] = false; } }