Compatibility

The checker is not compatible with all extensions based on
goal_expansion or call/N. This means that calls in some
places are not enhanced and determinism errors is not reported
for them.

Call/N

As goal expansion is not called for terms inside (dynamic)
call/1 and such, the predicate calls as call/1 arguments
are not checked.

DCG support

Checks work for DCG predicates, except on direct
calls in phrase/2 and phrase/3. It seems likely that
goal_expansion is not applied for those. DCG calls in body
of another DCG predicate are suitable. Example: