Ok. I found that even if I remove the getExtendedSort in resolveSyntaxPredicate, it will work too. I wonder if you think it is a good idea to put getExtendedSort in resolveSyntaxPredicate or it is good to put getSort in resolveSyntaxPredicate step?