let
nbAcceptSt =
"aorai_NbAcceptStates"