Process-wide: abort (True) or poison the object (False, the default) on INTERNAL/RESOURCE errors.
STP
The Simple Theorem Prover
