pub fn is_pointer_write_call(name: &str) -> bool
Return true for pointer writes that initialize one element.