==========================================
erewrite in TEST : <> < me : User | state: 0 > createInterpreter(
    interpreterManager, me, none) .
rewrites: 6
result Configuration: <> < me : User | state: 3 > reducedTerm(me, interpreter(
    0), 1, 'c.Foo, 'Foo)
==========================================
reduce in TEST : metaReduce(bar, 'a.Foo) .
rewrites: 3
result ResultPair: {'b.Foo, 'Foo}
==========================================
erewrite in TEST : <> < me : User | state: 0 > createInterpreter(
    interpreterManager, me, none) .
rewrites: 6
result Configuration: <> < me : User | state: 3 > reducedTerm(me, interpreter(
    0), 1, 'c.Foo, 'Foo)
Bye.
