One last(?) fix for build script for smtcomp uploads.
Application trace executor (if they end up using that) requires --print-success.
fixed bv bug due to applying equisatisfiable transformations in ppRewrite