Adding complexity measures.
Adding subsumption check.