Salome HOME
Suppress stack printing for SAT exceptions (unless debug mode is active)