Implement ClauseTree structure for subsumption algorithms to make subsumption check faster