==========================================
debug reduce in BAR : a .
==========================================
debug reduce in BAR : a .
rewrites: 2
result Bar: c
rewrites: 2
result Bar: c
==========================================
debug reduce in META-LEVEL : metaReduce(['BAR], 'a.Bar) .
*********** equation
eq [Q:Qid] = sth Q:Qid is
  including Q:Qid .
  sorts none .
  none
  none
  none
  none
  none
  none
  none
endsth .
Q:Qid --> 'BAR
['BAR]
--->
sth 'BAR is
  including 'BAR .
  sorts none .
  none
  none
  none
  none
  none
  none
  none
endsth
rewrites: 4
result ResultPair: {'c.Bar, 'Bar}
Bye.
