monstru
Revert "Improved auxiliaries generation"

This reverts commit 0f0f698b9c7c6ad2f494f92cfb424ad1b821c356.