Eliminate tests of AHFA: t+ modulo AHFA changes