let make a b rho = 
    if Term.cmp a b >= 0 then (a, b, rho) else (b, a, rho)