correctly handle Alias: before AP:
This should work, even if we don't really like it.
HOA: v1
name: "GFa"
States: 1
Start: 0
Alias: @ap 0
AP: 1 "a"
acc-name: Buchi
Acceptance: 1 Inf(0)
properties: trans-labels explicit-labels trans-acc complete
properties: deterministic stutter-invariant
--BODY--
State: 0
[!0] 0
[@ap] 0 {0}
--END--