Given that the previous commits made so many whitespace changes, it'd be
a shame not to do it

Fixes issue #614

Fixes #617

Technically, the C standard distinguishes between declarations and statements,
and only the latter may have labels attached to them. Thus, printing a label
directly over a `Local_init` will result in ill-formed C code. In order to
avoid that, we add a dummy nop (aka `;`) in-between.

A first version was done in !1518, but failed to take into account
`UnspecifiedSequence` whose first element happens to be a `Local_init` 

David Bühler authored 6 years ago and Virgile Prevosto committed 6 years ago

Asserts are both evaluated and used as hypotheses afterwards.
Checks are only evaluated, but are not used as hypotheses: they must not affect
the analyses.

Actually `create_from_visitor` was correct, but its sibling
`init_project_from_visitor` wasn't if not called from `create_from_visitor` and
is (erroneously?) exported in `file.mli`

David Bühler authored 6 years ago and Julien Signoles committed 6 years ago

Instead of all functons with no definition.