{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"//"}]}
                    // this argument isn't unsatisfiable
                    // If we find at least one input this argument could satisfy
                    if matches!(mat[j][i], Compatibility::Compatible) {