35 def compute_constraints_of_expression(expression, ir):  argument
58 def _compute_constant_value_of_constant(expression):  argument
66 def _compute_constant_value_of_constant_reference(expression, ir):  argument
85 def _compute_constraints_of_function(expression, ir):  argument
111 def _compute_constraints_of_existence_function(expression, ir):  argument
119 def _compute_constraints_of_field_reference(expression, ir):  argument
155     expression, physical_type, type_size):  argument
203 def _compute_constraints_of_builtin_value(expression):  argument
244 def _compute_constant_value_of_boolean_constant(expression):  argument
319 def _compute_constraints_of_additive_operator(expression):  argument
352 def _compute_constraints_of_multiplicative_operator(expression):  argument
462 def _assert_integer_constraints(expression):  argument
502 def _compute_constant_value_of_comparison_operator(expression):  argument
521 def _compute_constraints_of_bound_function(expression):  argument
535 def _compute_constraints_of_maximum_function(expression):  argument
635 def _compute_constraints_of_choice_operator(expression):  argument