RunMe4 (marnix analysis) runs, upto graph generation for every hit
-- not claiming that it works, just that there are no errors.