pub fn eq_assoc_constraint(l: &AssocConstraint, r: &AssocConstraint) -> bool