{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"if"}]}
        if a.is_free() && b.is_free() {
        // `TransitiveRelation` for more details).
            return sub_free_regions(a, b);