Fixed arg :print-cmd? (before print-solver-call?)