Duraid reported exponential behaviour of rewrite systems using innermost. Problem is that fusion transformation expects strategies of the form |[ ?t1; where(s); !t2 ]|, while where is desugared these days.

Submitted on 2 December 2005 at 11:28

STR-474, visser:
fixed