The option `-machdep` should be called with `-e-acsl-prepare` before the
`-then`, otherwise when `-machdep` is finally used then the project is cleared
and all previous analysis are lost.