[TIMOB-13283] Added state propogation
[TIMOB-13283] Added unknown propagation
[TIMOB-13283] Fixed some bugs with certain cases not getting tagged as unknown
Merge pull request #147 from bryan-m-hughes/timob-13283

Timob 13283 Fixed visualization