{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"leak_check.propagate_scc_value()?;"}]}
        leak_check.propagate_scc_value()?;
        leak_check.assign_placeholder_values()?;
        Ok(())