for HVAR/VVAR without indirect mappings, we can skip calling VarStore.optimize() and keep a direct mapping from GID to VarIdx
for HVAR/VVAR without indirect mappings, we can skip calling VarStore.optimize() and keep a direct mapping from GID to VarIdx