add ssa_val_allocations