get_constraints
struct constraint_list *get_constraints(struct expression *expr);
constraints = get_constraints(left);