5 void replaceBooleanWithTrue(CSolver * This, Boolean *bexpr);
6 void replaceBooleanWithFalse(CSolver * This, Boolean *bexpr);
7 void replaceBooleanWithBoolean(CSolver * This, Boolean *oldb, Boolean *newb);
8 void handleXORTrue(BooleanLogic *bexpr, Boolean *child);
9 void handleXORFalse(CSolver * This, BooleanLogic *bexpr, Boolean *child);
10 void handleIMPLIESTrue(CSolver * This, BooleanLogic *bexpr, Boolean *child);
11 void handleIMPLIESFalse(CSolver * This, BooleanLogic *bexpr, Boolean *child);
12 void handleANDTrue(CSolver * This, BooleanLogic *bexpr, Boolean *child);
13 void handleORFalse(CSolver * This, BooleanLogic *bexpr, Boolean *child);