get_constraint_str
data_str = get_constraint_str(array_expr);
char *get_constraint_str(struct expression *expr);
data_str = get_constraint_str(data);
constraint = get_constraint_str(right);
limit = get_constraint_str(size);
data = get_constraint_str(state->data);
limit = get_constraint_str(expr->left);
data = get_constraint_str(array);
limit = get_constraint_str(expr->left);
left = get_constraint_str(expr->left);
right = get_constraint_str(expr->right);
data = get_constraint_str(pointer);
limit = get_constraint_str(constraint);