Fixed error in subsuming
0.3.3