package lustre-v6

Transforms expressions of the form

if c then n(...) else m(...)

into

merge c (true -> n(...) when c) (false -> m(...) when not(c))

Of course, this is done iff neither n nor m uses memories.