... output log truncated, see `non_term_user_special.err' for the complete log.
non_term_user_special.m:011:   the type `non_term_user_special.myset'/1 cannot
non_term_user_special.m:011:   be proven to terminate.
non_term_user_special.m:011: Warning: the user-defined equality predicate for
non_term_user_special.m:011:   the type `non_term_user_special.myset'/1 cannot
non_term_user_special.m:011:   be proven to terminate.