In various places of the codebase, we have a number of #ifdef blocks designed for various purposes, linked with compile flags such as LOG_LS or LOG_LS_OPERATORS.

Those were added to track and log some indications on the solving internals. While all of this has been useful at some point while working on some dev, it is now kind of bloating the codebase for no real benefit.

I think we should remove them to clean up the code. Reinstating some kind of (temporary) logging for further dev needs would not be that big a deal anyway.