HOA output: support the colored property
The HOA output procedure is already making one preliminary pass on all transitions, so it could detect at little cost whether property: colored hold, and output it.
The HOA output procedure is already making one preliminary pass on all transitions, so it could detect at little cost whether property: colored hold, and output it.