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