WellFounded
proofs for transitive closure
#2082
Merged
WellFounded
proofs for transitive closure
#2082