Undocumented predicates
The following predicates are exported, but not or incorrectly documented.
- eventualities(Arg1, Arg2)
- eventualities(Arg1, Arg2)
- simplify_X(Arg1, Arg2)
- simplify_X(Arg1, Arg2)
- reduce_local(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)
- reduce_local(Arg1, Arg2, Arg3, Arg4, Arg5, Arg6, Arg7)