PROBCORE-471 Working on the implementation of the UI for model checker.
PROBCORE-471 Working on UI impementation for model checking
PROBCORE-471 Finished UI!!!! YAAAAAY!!!!!!!!!! =D