public StateMachineFinallyCheckRemoverBase(MethodSpecificContext methodContext) { this.toBeRemoved = new HashSet <InstructionBlock>(); base(); this.methodVariables = methodContext.get_Body().get_Variables(); this.theCFG = methodContext.get_ControlFlowGraph(); return; }