- The signal Ast.changed is emitted by Frama-C on any change of the AST.
  The AST view is always reloaded when this signal is emitted.
- Ivette resets the selected locations according to user actions.