let equal (s1,b1) (s2,b2) = b1 = b2 && Cilutil.StringSet.equal s1 s2