Cosmetic changes. Add some comments to explain the order in which we explore the state space.
Cosmetic changes. Add some comments to explain the order in which we explore the state space.

abate/opam,abate/opam