checkModelDecl implemented