Arguments against DragonEgg are laid out in the gnat-llvm repo here: https://github.com/AdaCore/gnat-llvm/blob/master/README.drag...