{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//!"}]}
//! The algorithm implemented here is inspired from the one described in [this
//!
//! paper](http://moscova.inria.fr/~maranget/papers/warn/index.html). We have however changed it in