Assertion list for term "run in private virtual dos machine".

Results from Ascent++: 1
new process (subgroup of process) CapableOfrun in private virtual dos machine 0.29