Assumes that terms enumerated by `Goal_1' are ground.
The following predicates are exported, but not or incorrectly documented.