TestRun:Execute: set witness default to logged-in user, remove default value for the tester. When an actual output already exists, take its values for tester and witness for the forms of the following steps.