statement_can_refine

rapx::verify::slicer::visitor

Function statement_can_refine 

Source 
fn statement_can_refine(statement: &Statement<'_>) -> bool