I'm pretty sure this was handled before. This is what `org.kframework.ktest.QuoteHandling` class for, but that class looks unused right now. I just searched in commit history to see why quoting is removing and when is it removed.

* https://github.com/kframework/k/commit/ca29b751d823c16f86ef59aeb8a4b15b6f9e9c96#diff-39b4d4e21743e2de4c36b28c757e87beL59
* https://github.com/kframework/k/commit/f7b1e896c92794ff3a0aee47eaede2ff1e41a214#diff-a5cf3aaf006fff3d93af758c62573efdL162

This two commits(relevant lines are annotated in the links) removes uses of `quoteArgument`. There should be at least one more removal of this method(for PDF command printing), but I couldn't find it.

I have no idea why it was removed before but why not put these lines back instead of implementing same thing again? (we now `quoteArgument` was working fine without problems)  And why it was removed before?