Set simplifications
Simplification and inlining synthesis rules