TcErrors
reportUnsolved
reportAllUnsolved
warnAllUnsolved
warnDefaulting
solverDepthErrorTcS