termination.m:007: Termination of predicate `termination.tokenizable'/1 mode 0
termination.m:007:   not proven for the following reason:
termination.m:015: It calls predicate `termination.identifier'/3 mode 0 which
termination.m:015:   has a termination constant of infinity.
termination.m:029: Termination constant of predicate `termination.identifier'/3
termination.m:029:   mode 0 set to infinity for the following reason:
termination.m:030: It calls function `termination.from_char_list_term'/1 mode 0
termination.m:030:   which has a termination constant of infinity.
termination.m:022: Termination constant of function
termination.m:022:   `termination.from_char_list_term'/1 mode 0 set to infinity
termination.m:022:   for the following reason:
termination.m:025: It calls function `string.from_char_list'/1 mode 0 which has
termination.m:025:   a termination constant of infinity.
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185: Termination
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   constant
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   of
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   function
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   `string.from_char_list'/1
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   mode
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   0
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   set
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   to
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   infinity
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   for
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   the
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   following
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   reason:
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185: It
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   contains
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   one
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   or
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   more
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   predicates
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   and/or
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   functions
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   imported
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   from
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   another
/usr/local/mercury-11.07-beta-2011-09-30/lib/mercury/ints/Mercury/ints/string.int:185:   module.