qualifiers_correspond
qualifiers_correspond(tp1, tp2, ignqual);
if (!qualifiers_correspond(tp1, tp2, ignqual))