let qual_gt t1 t2 = ((not t1.ct_const_p || t2.ct_const_p) && (not t1.ct_volatile_p || t2.ct_volatile_p))