fixed id reference to modelchecking view
removed packages (errors)