Added a prolog to fpt_tud_ext.1.4's AA