fn is_inlined(body: &Body<'_>, statement: &Statement<'_>) -> bool