Simplifying Subsumptions#merge by delegating to transitivity-utils (Relations#merge)
Authored by: ounos 2010-03-11
Parent: [r809]
Child: [r811]