Implementation of a consistency checker for an INFOPARK CMS