Module L2lNoWhenNotSource

Transforms equations of the form

y = x when not some_bool_clock;

into

not_some_bool_clock : bool; ...

y = x when not_some_bool_clock;

It is useful for generating ec code, that does not understand "when not" statements (sigh).