transforms: remove obsolete identifier from __VERIFIER_{m,c}alloc
transforms: remove obsolete identifier from __VERIFIER_{m,c}alloc

staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic,staticafi/symbiotic