HOA: v1
tool: "ROLL"
properties: explicit-labels state-acc trans-labels 
States: 2
Start: 0
acc-name: Buchi
Acceptance: 1 Inf(0)
AP: 1 "b"
--BODY--
State: 0
  [!0] 0
  [0] 0
  [0] 1
State: 1 {0}
  [0] 1
--END--