==========================================
erewrite in NARROW-TEST : <> < me : User | start: ('g['j['A:Foo, 'B:Foo]]),
    goal: 'C:Foo, fold: 'none > createInterpreter(interpreterManager, me,
    newProcess) .
rewrites: 13
mb applications: 0  equational rewrites: 8  rule rewrites: 5  variant narrowing
    steps: 0  narrowing steps: 0
result Configuration: <> < me : User | soln: 4, got: (gotNarrowingSearchResult(
    me, interpreter(0), 1, 'g['j['#1:Foo, '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, '#, 
  '#1:Foo <- '@1:Foo ; 
  '#2:Foo <- '@2:Foo ; 
  'C:Foo <- 'g['j['@1:Foo, '@2:Foo]], '@) ; gotNarrowingSearchResult(me,
    interpreter(0), 1, 'g['j['#1:Foo, '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, '#, 
  '#1:Foo <- 'f['%2:Foo] ; 
  '#2:Foo <- '%1:Foo ; 
  'C:Foo <- 'g['i['f['%1:Foo], '%2:Foo]], '%) ; gotNarrowingSearchResult(me,
    interpreter(0), 3, 'f['k['%2:Foo, 'f['%3:Foo]]], 'Foo, 
  'A:Foo <- 'f['k['%1:Foo, '%2:Foo]] ; 
  'B:Foo <- '%3:Foo, '%, 
  '%2:Foo <- '@1:Foo ; 
  '%3:Foo <- '@2:Foo ; 
  'C:Foo <- 'f['k['@1:Foo, 'f['@2:Foo]]], '@)), start: ('g['j['A:Foo,
    'B:Foo]]), goal: 'C:Foo, fold: 'none > noSuchResult(me, interpreter(0), 4,
    true)
==========================================
erewrite in NARROW-TEST : <> < me : User | start: ('g['j['A:Foo, 'B:Foo]]),
    goal: 'C:Foo, fold: 'match > createInterpreter(interpreterManager, me,
    newProcess) .
rewrites: 13
mb applications: 0  equational rewrites: 8  rule rewrites: 5  variant narrowing
    steps: 0  narrowing steps: 0
result Configuration: <> < me : User | soln: 4, got: (gotNarrowingSearchResult(
    me, interpreter(0), 1, 'g['j['#1:Foo, '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, '#, 
  '#1:Foo <- '@1:Foo ; 
  '#2:Foo <- '@2:Foo ; 
  'C:Foo <- 'g['j['@1:Foo, '@2:Foo]], '@) ; gotNarrowingSearchResult(me,
    interpreter(0), 1, 'g['j['#1:Foo, '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, '#, 
  '#1:Foo <- 'f['%2:Foo] ; 
  '#2:Foo <- '%1:Foo ; 
  'C:Foo <- 'g['i['f['%1:Foo], '%2:Foo]], '%) ; gotNarrowingSearchResult(me,
    interpreter(0), 3, 'f['k['%2:Foo, 'f['%3:Foo]]], 'Foo, 
  'A:Foo <- 'f['k['%1:Foo, '%2:Foo]] ; 
  'B:Foo <- '%3:Foo, '%, 
  '%2:Foo <- '@1:Foo ; 
  '%3:Foo <- '@2:Foo ; 
  'C:Foo <- 'f['k['@1:Foo, 'f['@2:Foo]]], '@)), start: ('g['j['A:Foo,
    'B:Foo]]), goal: 'C:Foo, fold: 'match > noSuchResult(me, interpreter(0), 4,
    true)
==========================================
erewrite in NARROW-TEST : <> < me : User | start: ('g['j['A:Foo, 'B:Foo]]),
    goal: 'C:Foo, fold: 'none > createInterpreter(interpreterManager, me,
    newProcess) .
rewrites: 13
mb applications: 0  equational rewrites: 8  rule rewrites: 5  variant narrowing
    steps: 0  narrowing steps: 0
result Configuration: <> < me : User | soln: 4, got: (
    gotNarrowingSearchResultAndPath(me, interpreter(0), 1, 'g['j['#1:Foo,
    '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, nil, 
  '#1:Foo <- '@1:Foo ; 
  '#2:Foo <- '@2:Foo ; 
  'C:Foo <- 'g['j['@1:Foo, '@2:Foo]], '@) ; gotNarrowingSearchResultAndPath(me,
    interpreter(0), 1, 'g['j['#1:Foo, '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, nil, 
  '#1:Foo <- 'f['%2:Foo] ; 
  '#2:Foo <- '%1:Foo ; 
  'C:Foo <- 'g['i['f['%1:Foo], '%2:Foo]], '%) ;
    gotNarrowingSearchResultAndPath(me, interpreter(0), 3, 'g['j['#1:Foo,
    '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, 
{
  [],
  ', 
    '#1:Foo <- 'f['k['%1:Foo, '%2:Foo]] ; 
    '#2:Foo <- '%3:Foo ; 
    'X:Foo <- 'f['%3:Foo] ; 
    'Y:Foo <- '%1:Foo ; 
    'Z:Foo <- '%2:Foo,
  '%,
  'f['k['%2:Foo, 'f['%3:Foo]]], 'Foo, 
    'A:Foo <- 'f['k['%1:Foo, '%2:Foo]] ; 
    'B:Foo <- '%3:Foo
}, 
  '%2:Foo <- '@1:Foo ; 
  '%3:Foo <- '@2:Foo ; 
  'C:Foo <- 'f['k['@1:Foo, 'f['@2:Foo]]], '@)), start: ('g['j['A:Foo,
    'B:Foo]]), goal: 'C:Foo, fold: 'none > noSuchResult(me, interpreter(0), 4,
    true)
==========================================
erewrite in NARROW-TEST : <> < me : User | start: ('g['j['A:Foo, 'B:Foo]]),
    goal: 'C:Foo, fold: 'match > createInterpreter(interpreterManager, me,
    newProcess) .
rewrites: 13
mb applications: 0  equational rewrites: 8  rule rewrites: 5  variant narrowing
    steps: 0  narrowing steps: 0
result Configuration: <> < me : User | soln: 4, got: (
    gotNarrowingSearchResultAndPath(me, interpreter(0), 1, 'g['j['#1:Foo,
    '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, nil, 
  '#1:Foo <- '@1:Foo ; 
  '#2:Foo <- '@2:Foo ; 
  'C:Foo <- 'g['j['@1:Foo, '@2:Foo]], '@) ; gotNarrowingSearchResultAndPath(me,
    interpreter(0), 1, 'g['j['#1:Foo, '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, nil, 
  '#1:Foo <- 'f['%2:Foo] ; 
  '#2:Foo <- '%1:Foo ; 
  'C:Foo <- 'g['i['f['%1:Foo], '%2:Foo]], '%) ;
    gotNarrowingSearchResultAndPath(me, interpreter(0), 3, 'g['j['#1:Foo,
    '#2:Foo]], 'Foo, 
  'A:Foo <- '#1:Foo ; 
  'B:Foo <- '#2:Foo, 
{
  [],
  ', 
    '#1:Foo <- 'f['k['%1:Foo, '%2:Foo]] ; 
    '#2:Foo <- '%3:Foo ; 
    'X:Foo <- 'f['%3:Foo] ; 
    'Y:Foo <- '%1:Foo ; 
    'Z:Foo <- '%2:Foo,
  '%,
  'f['k['%2:Foo, 'f['%3:Foo]]], 'Foo, 
    'A:Foo <- 'f['k['%1:Foo, '%2:Foo]] ; 
    'B:Foo <- '%3:Foo
}, 
  '%2:Foo <- '@1:Foo ; 
  '%3:Foo <- '@2:Foo ; 
  'C:Foo <- 'f['k['@1:Foo, 'f['@2:Foo]]], '@)), start: ('g['j['A:Foo,
    'B:Foo]]), goal: 'C:Foo, fold: 'match > noSuchResult(me, interpreter(0), 4,
    true)
Bye.
