{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"if"}]}
        if representative != longer_fr {
        let representative = self.scc_representative(longer_fr_scc);
            if let RegionRelationCheckResult::Error = self.check_universal_region_relation(