I do not think I need to explain to you every detail, right. I mean I did not finish it yet, there is still problem when I move flattenTerms before ResolveSyntaxPredicates. Wait me to finish it.