runScript' for Trace invariant testing