{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"inspect.is_noop()"}]}
        inspect.is_noop()
    fn inspect_is_noop(inspect: &mut Self::ProofTreeBuilder) -> bool {
    }