{"ast_node_type":"other","tokens":[{"end":62,"kind":"keyword","start":0,"text":"match"}]}
            match (is_input, is_arg, useless, unsatisfiable) {
                // If an argument is unsatisfied, and the input in its position is useless