Adding an equality function over glob_constr