See https://github.com/souffle-lang/souffle/pull/2438
See souffle-lang/souffle#2438