Update alloca issue: need to also do the same for trace opts; some renaming