Processes associated to a Uproc execution are not terminated