AST printer updated (mist/sort.ml)