Viperization is missing in the code

[besoft]

While watching the video https://youtu.be/2CGRfJJEu38?t=95 that accompanies the paper, I was mainly intrigued by the "viperization process" because this is something we are also doing. It seems to me that this part of the approach is completely missing from the code. Since the code is not sufficiently documented and I am unable to build it because of its incompatibility with Microsoft Windows, I am not 100% sure about it.

Could you please navigate me to the place where I can find the viperization? Thank you.