snapshotting some benchmarks at first model
added constspace option that discards interpretations once used

(only with --heuristics=monolithic this guarantees correctness!)