STATE: pop below level 0, a closed solver, a poisoned object, a pinned manager used off its thread.
STP
The Simple Theorem Prover