act inn,outt,mo,mi,vmo,vmi,t,r,i,j; proc BufferS = inn.r.outt.t.BufferS; BufferA = rename({t -> mi, outt -> vmo}, BufferS); BufferB = rename({inn -> mo, r -> vmi}, BufferS); S = allow({inn,outt,t,r,i,j}, comm({mi|vmi -> i, vmo|mo -> j}, BufferA || BufferB)); init hide({i,j},S);