{"ast_node_type":"variable","tokens":[{"end":80,"kind":"keyword","start":0,"text":"if"}]}
    if let GoalData::DomainGoal(DomainGoal::Holds(WhereClause::AliasEq(AliasEq {
        alias: AliasTy::Projection(projection_ty),