sdc.gen.declaration: declare parameters *after* pushing a scope.
sdc.gen.declaration: declare parameters *after* pushing a scope.

sidmutha/SDC,carlor/SDC,DmitryOlshansky/SDC,SDC-Developers/SDC,JohanEngelen/SDC,DmitryOlshansky/SDC,UplinkCoder/SDC,sidmutha/SDC,schancel/SDC,JohanEngelen/SDC,JohanEngelen/SDC,SDC-Developers/SDC,UplinkCoder/SDC,UplinkCoder/SDC,schancel/SDC,schancel/SDC,bpr/SDC,sidmutha/SDC,DmitryOlshansky/SDC,deadalnix/SDC,deadalnix/SDC,deadalnix/SDC,SDC-Developers/SDC,bpr/SDC,bpr/SDC