First version of our array solver based on weak equivalences.  Currently, proof production is not really checked, and neither interpolation nor model production are implemented.
Fixed bug in the DeltaDebugger where array store terms were replaced by the store index rather than the store array
Fixed logger setup for test cases.  In some cases the appender for log4j was installed multiple times leading to lots of logging output.  Now, if an appender is already installed, we do not install another appender.