improved feedback for the Model Editor when the pvs model fails to typecheck