charon_lib::transform::reconstruct_asserts

Function transform_st

source 
fn transform_st(st: &mut Statement) -> Vec<Statement>