added testdata
fixing the analysis of statemachines with complex harness