Class ASTDefaultValue