Avoid extra quotation marks.
Avoid reporting by constructor if we don't know the constructor.
Note on irrelevant failure pruning.