Function is_contract_cast 

pub fn is_contract_cast(gcx: Gcx<'_>, callee: &Expr<'_>) -> bool

IFoo(...) contract / interface cast head.