syntax_data: {"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         //
context_before:         // want `_1` and `_2` to have the same sub-places.
context_after:         // This is what this fixpoint loop does. While we are still creating places, run through