Function constraint_identities_match 

pub fn constraint_identities_match(
    left: &ConstraintIdentity,
    right: &ConstraintIdentity,
) -> bool