Simplify factorization for LHS and RHS
Simplify factorization of source and target components
Some factorization of relations in premises