TcErrors

reportUnsolved

reportAllUnsolved

warnAllUnsolved

warnDefaulting

solverDepthErrorTcS