fix to use subsumption library version 1.0