is_unknown_binfo
if (is_unknown_binfo(get_type(expr->left), binfo))
if (is_unknown_binfo(get_type(arg), binfo))
if (is_unknown_binfo(estate_type(estate), binfo))