Don't crash if a start fun does not occur in the Trs.

Show termination instead!
Properly prefix and indent "(none)".