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.