Checks the completness and consistancy of the MODELs that have been defined for a particular problem.
This should be the first command after the models and points have been defined.