MPS-20722 Model Checker doesn't report broken model dependencies - for unknown reason model properties check was turned off two years ago, turned on back.
NavigationSupport: replace deprecated IOperationContext with mps project, update most uses.
Tree nodes: drop deprecated and superfluous code
ModelChecker: drop unused classes