TcErrors
reportUnsolved
reportAllUnsolved
warnDefaulting
solverDepthErrorTcS