Make the transition for alloc, argfct and mutsem