Revert "Solve lt_trans''"

This reverts commit 6111ec2d3b138193fe7164beed2e894f47aec4e3.
Revert "Solve lt_trans' in Rel.v"

This reverts commit 31eff4bcc7c2bbd44f49e0be71fcafb36259684b.