ComponentTreeExtractor: Basically a re-write of ConsistencyConstraintExtractor