binfo_equiv
if (binfo_equiv(one, two))
if (binfo_equiv(rl_binfo, binfo))
if (binfo_equiv(implied_binfo, binfo))