Experiment with performance optimizations

These optimizations are generic in the sense that none of
them rely on heuristics. The relevant improvements were
done between May 14th and 15th as documented in the SMT
Kit repository commit log.