back to flattenTerms before flattenSyntax