update branch for CheckpointA-myopic heuristic