text:       E1:     C1 CALL pred polymorphic_output.main/2-0 (det) polymorphic_output.m:29
  mdb> echo on
  Command echo enabled.
  mdb> register --quiet
  mdb> context none
  Contexts will not be printed.
  mdb> b functor_names
   0: + stop  interface func polymorphic_output.functor_names/1-0 (det)
  mdb> c
        E2:     C2 CALL func polymorphic_output.functor_names/1-0 (det)
  mdb> delete 0
   0: E stop  interface func polymorphic_output.functor_names/1-0 (det)
  mdb> p goal
  functor_names(two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two("two", 2, empty, empty))) = _
  mdb> format verbose
  mdb> format_param lines 100
  mdb> p goal
  functor_names
  1-two
  | 1-"three"
  | 2-3
  | 3-three
  | | 1-"four"
  | | 2-4
  | | 3-"one"
  | | 4-1
  | | 5-empty
  | | 6-empty
  | | 7-empty
  | 4-two
  |   1-"two"
  |   2-2
  |   3-empty
  |   4-empty
  2-_
  
  mdb> format flat
  mdb> browse goal
  browser> ^1
  browser> p
  two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two("two", 2, empty, empty))
  browser> ^..^2
  browser> p
  '_'
  browser> ^..^3
  error: there is no subterm 3
  browser> p
  '_'
  browser> ^..^r
  browser> p
  '_'
  browser> quit
  mdb> b -A deconstruct.det_arg/4
   0: + stop  interface pred deconstruct.det_arg/4-0 (det)
   1: + stop  interface pred deconstruct.det_arg/4-1 (det)
   2: + stop  interface pred deconstruct.det_arg/4-2 (cc_multi)
   3: + stop  interface pred deconstruct.det_arg/4-3 (cc_multi)
  mdb> c
        E3:     C3 CALL pred deconstruct.det_arg/4-1 (det)
  mdb> P
         Term (arg 1)           	two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two/4)
         NonCanon (arg 2)       	canonicalize
         Index (arg 3)          	3
  mdb> f
        E4:     C3 EXIT pred deconstruct.det_arg/4-1 (det)
  mdb> P
         Term (arg 1)           	two("three", 3, three("four", 4, "one", 1, empty, empty, empty), two/4)
         NonCanon (arg 2)       	canonicalize
         Index (arg 3)          	3
         Argument (arg 4)       	two("two", 2, empty, empty)
  mdb> disable *
   0: - stop  interface pred deconstruct.det_arg/4-0 (det)
   1: - stop  interface pred deconstruct.det_arg/4-1 (det)
   2: - stop  interface pred deconstruct.det_arg/4-2 (cc_multi)
   3: - stop  interface pred deconstruct.det_arg/4-3 (cc_multi)
  mdb> c
  two
  