PROBCORE-471 Deleted old visualization files
PROBCORE-471 Working on UI stuff for Model Checking