{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"blocks.return_(Some(then_call));"}]}
    blocks.return_(Some(then_call));
    blocks.set_branch(switchint, 1, else_call);
    blocks.return_(Some(else_call));