in include/DisjointUnionAbstractDomain.h [231:245]
bool operator()(const Domain& d1, const OtherDomain& d2) const {
if (d1.is_bottom()) {
return true;
}
if (d2.is_bottom()) {
return false;
}
if (d2.is_top()) {
return true;
}
if (d1.is_top()) {
return false;
}
return false;
}