variables of semimarkov data structire renamed, workbenches made static, forward state generation partially re-written