{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                    // If we find at least one input this argument could satisfy
                for j in 0..ii.len() {
                    // this argument isn't unsatisfiable