Fixed database output.
Fixed the fake robustness output for automata.
Witnesses are not displayed when not requested.