method private on_current_stmt nothing f = match self#current_stmt with | None | Some ({ skind = Return _}) -> nothing | Some _ when not operate -> nothing | Some stmt -> f (Kstmt stmt)