==========================================
erewrite in TEST : <> < me : User | none > createInterpreter(
    interpreterManager, me, none) .
rewrites: 6
result Configuration: <> < me : User | prev: 'b.Foo > rewroteTerm(me,
    interpreter(0), 1, 'b.Foo, 'Foo)
Bye.
