def realms(self, filter={}):
        if id not in filter or filter["id"] is "default":
            return [Realm(
                "default",
                self,
                "default",
                True,
                -1,
            )]
        else:
            return []
There are cases where a loop has two overlapping loop headers thanks
dataset/ETHPy150Open bmbouter/Opus/opus/lib/prov/drivers/opennebula14.py/OpenNebula14Driver.realms--crossover with--dataset/ETHPy150Open angr/angr/angr/analyses/cdg.py/CDG._post_process