{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"constraint.sort();"}]}
        constraint.sort();
        let mut constraint = constraints.iter().map(|&(c, _, _)| c).collect::<Vec<_>>();
        constraint.dedup();