{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"if"}]}
        if self.fcx.predicate_has_self_ty(goal.predicate, self.self_ty)
        let goal = inspect_goal.goal();
            // We do not push the instantiated forms of goals as it would cause any