Drop notVarAllocDef for a variable in the struct