{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//!"}]}
//! We can then do queries using T2. These will give back constraints
//!
//! on the canonical variables which can be translated, using the map