Optimize the side conditions in the semantics to help the booster backend reasoning #2736
Description
- Optimize summary rules #2732 shows that the booster backend will not transform side conditions in the simplication rules into CNF to simplify the conditon during reasoning. It doesn't lead to anything wrong logically, but just makes the side condition more complex to understand. To sovle this problem, we can just make the side conditions in the rules as CNF. Or introduce this transformation in the frontend.