{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"self.make_subregion(origin.clone(),"}]}
            self.make_subregion(origin.clone(), a, b);
            // equating regions.
            self.make_subregion(origin, b, a);