checkpoint - skeleton of revised control flow