Initial version of consistency checker