@marabou The source code isn’t really the problem. I mean, it is, but you know what I mean.