extended fn minizinc by option :print-solver-call? (still a bit buggy)