Initial work on comparison of asserted and reverse engineered model