{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//!"}]}
//! 1/ They are only assigned-to once, either as a function parameter, or in an assign statement;
//! We denote as "SSA" the set of locals that verify the following properties:
//! 2/ This single assignment dominates all uses;