When adding more variables we observed unstable behavior and crashes with the old implementation. It was not understood, but solved with the new implementation.