simpl rules BoolOpSeq + corr bug dep CInstBlock