Function callee_can_reenter 

fn callee_can_reenter<'gcx>(gcx: Gcx<'gcx>, callee: &Expr<'gcx>) -> bool

An external call that hands control to another contract: a low-level call/callcode/ delegatecall on an address, or a state-changing external function call.