A strategy call in argument position, e.g., the g(|) in f(g(|)|) should not be inlined, since the only effect will be that the inlined expression will be lifted into a definition later on.

Submitted on 8 August 2006 at 17:53