Solved a bug in the compilation of asserts. Now different behavior depending on the backend:

functional: keep it as is
non func: introduce a fresh local var v and replace assert(e) by v=e; assert (v);