================== const_negation ================== program() var x: const Int := -5 y: const Int := -x begin assert(x = -5); assert(y = 5); end. --- (source_file (program_declaration (var_section (variable_declaration (identifier_definition (identifier)) (const_type (identifier)) (unary_expression (literal (integer)))) (variable_declaration (identifier_definition (identifier)) (const_type (identifier)) (unary_expression (identifier)))) (call_expression (identifier) (argument_list (binary_expression (identifier) (unary_expression (literal (integer)))))) (call_expression (identifier) (argument_list (binary_expression (identifier) (literal (integer)))))))