Similar to must_be/2. This emulation currently only accepts
types that SWI-Prolog must_be/2 understands natively.
The Goal and ArgNo arguments are currently ignored.
Throw a SICStus standard error described by ErrorTerm.
If possible, errors are thrown in the corresponding SWI-Prolog
format using library(error). If a SICStus error has no
SWI-Prolog counterpart, it is thrown in the same format that
SICStus would use.
The Goal and ArgNo arguments are currently always ignored.
Depending on the requested error type, Culprit and/or parts of
ErrorTerm may also be ignored.