Solve lt_trans' in Rel.v