Some Remarks on the Decidability of the Generation Problem in LFG- and PATR-Style Unification Grammars