IntDomains: Domains wrapped into OldDomainFacade need to supply is_top as that is called via is_top_of_ik and Std fails there
IntDomains: Domains wrapped into OldDomainFacade need to supply is_top as that is called via is_top_of_ik and Std fails there

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer