ConsistencyModel_OLD project is the **old** edition of ConsistencyChecking Project.