PROBCORE-471 Working on Model Checker & view.

AARRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRRG!