checkModelDecl implemented
Merge branch 'check_model_decl_method' into fork