{"ast_node_type":"variable","tokens":[{"end":64,"kind":"keyword","start":0,"text":"if"}]}
        if let Some(trait_clause) = assumption.as_trait_clause()
            && trait_clause.polarity() == goal.predicate.polarity