eliminate_if transformation explodes
lexer__read_token.mlw On the attached file, eliminate_if creates a huge formula (20M nodes??) starting from a very small one (less than 200 nodes).
This should reproduce on master using this command: why3 prove lexer__read_token.mlw -P alt-ergo