Many internal changes and bugfixes, and a few new functions. The option -logPreds:P can be used to control the debugging output generated with the option -log. The symbolic execution engine has been refined, and is now used as part of the portfolio (enabled using option -portfolio).