is'#x:process-identifier 'return (return(s)) -> #x:process-identifier  (#x:stack-destructor)