{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"ClauseFlavor::Where"}]}
            ClauseFlavor::Where => {
        let uninstantiated_pred = match flavor {
                if let Some(pred) = self