Bud::MaxLattice not working
removed duplicate orderedstatemachine