go back to without extendedSort in ResolveSyntax