StringPrefix::toString: Add brackets to string output.
Print command works even if fixpoint is reached.
Fixes #108.