Don't theory-preprocess under quantifiers; but DO theory-preprocess lemmas (resolves bug #548).
Some fixes for non-GNU standard C++ library.