Now need start working on the test cases
Final test case. Need to add state counter and overestimate and ready for report
Need to implement overestimate