Function is_ecrecover_builtin 

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