Model checking view fails on switching to unsupported models
In some cases the model checking view attempts to load the required resources even though the model does not support model checking.
In some cases the model checking view attempts to load the required resources even though the model does not support model checking.