{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"patch.add_statement(location,"}]}
        patch.add_statement(location, StatementKind::Intrinsic(Box::new(assume)));
        let assume = NonDivergingIntrinsic::Assume(Operand::Move(local.into()));
    };