ByNobleID
    On the verification of state-coding in STGs | NobleID