Add C4_33_PushPopSequenceChecker and refine of C1_26_BinaryOneCounter