feat: implemented promote-common-constraint And Cut unnecessary And Transformations

[YeabsiraNigusse]

@eyuuab it would be nice if add test expression(file) for you function too.