Properly factorize the rhs of relation premises