Consistency Constraint Extractor wip. DOES NOT COMPILE