Function function_reads_sender 

pub fn function_reads_sender<'gcx>(
    gcx: Gcx<'gcx>,
    func_id: FunctionId,
    seen: &mut HashSet<FunctionId>,
) -> bool

Whether the body of func_id reads msg.sender/tx.origin, following calls.