Ref: frysk-imports/tests/process/single_exec.c Check that a refresh correctly updates the process tree after a process with a single task performs an exec.
frysk-core/frysk/proc/TestExec.java (testUnattachedSingleExec)