{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.lub_concrete_regions(a,"}]}
        self.lub_concrete_regions(a, b) == b
        // check if it is equal to `b`.
    }