Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering
Refactoring AHFA state logic: t+ modulo AHFA renumbering, perl.t
Refactoring AHFA state logic: valgrind, t+ mod AHFA #'s, perl.t
Refactoring AHFA state logic: t+ mod AHFA renumbering
Refactoring AHFA state logic: t+ mod AHFA renumbering
Refactoring AHFA state logic: t+ mod AHFA renumbering
Refactoring AHFA state logic: t+ mod AHFA renumbering
Refactoring AHFA state logic: t+ mod AHFA renumbering
Start clean up of tests