ich halte das für ein ziemlich hehres Ziel. Nachdem Ameisen auch gut kopfüber an Glas laufen können, würde ein Graben alleine nichts nützen. Am leichtesten wäre wohl der Freigang für die Krokos ameisensicher zu realisieren, wenn man in unter der Wasseroberfläche verbinden würde, also zum durchtauchen. Das dürfte auch kein Problem sein für die Tiere.
Ansonsten ein Gebäude ameisendicht zu bekommen, dürfte auch schwierig genug werden, da man immer irgendwelche Fugen übersieht.
Ich denk, man muss da einfach dahinter bleiben und eine mögliche Invasion vorab erkennen und dem entgegenwirken.
Da sollten halt auch die Formicarien nicht nur aus-, sondern auch einigermaßen einbruchsicher sein.
Schöne Tiere übrigens, ist das dort öffentlich besuchbar?