Some model and printing fixes for defined functions in input.
Add the ability to "mute" commands, needed for SMT-LIB compliance.
Better error in case of nonlinear assertions while in linear logic