{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"||"}]}
                    || !processor.needs_process_obligation(&node.obligation)
                if node.state.get() != NodeState::Pending
                {