Rules: pro IFAs into FA