AST printer updated (basic/includestruct.ml)