AST printer updated (mist/boyer)