Fix a regression about method variables.
Add the `-out` option.
Avoid an optimisation that introduce a bug.
Add `namespace { … }` around `file::end`.
Use `matching::__toString`.
Protect against miss uses.
Mark the initial node of the CFG.
Fix a potential null access.
Mark initial node of the CFG even if -moles.
Add a real example.