Goodbye LR(0)!!!: t+ module AHFA numbering