Function call_has_pointer_sub_effect 

fn call_has_pointer_sub_effect(call: &CallSummary<'_>) -> bool