{"ast_node_type":"other","tokens":[{"end":43,"kind":"keyword","start":0,"text":"canonical_input:"}]}
        canonical_input: CanonicalInput<I>,
        search_graph: &'a mut SearchGraph<D>,
        canonical_goal_evaluation: &mut ProofTreeBuilder<D>,