Fixed contracts regressions script to use no-reuse memory model.
Merge branch 'develop' into svcomp2015