Refactoring AHFA state logic: t+ modulo AHFA renumbering, perl.t