ConsistencyModel_OLD project is the **old** edition of ConsistencyChecking Project. So please refer to the latter project.