Function expr_contains_keccak 

pub(crate) fn expr_contains_keccak(expr: &Expr) -> bool

Returns the expr_contains_keccak symbolic expression helper result.