TcErrors

reportUnsolved

reportAllUnsolved

warnDefaulting

solverDepthErrorTcS