let expr_cast _ty _e = (* TODO : we can process cast as long as they are not involved in address * computation. *) abort "cast"