Remove AHFA structure: t+ modoulo AHFA tests