complete term subsumption test #99

Closed ba-talibe closed 6 months ago