Added the /weakArrayTheory for Boogie SI mode.
* As recommended by Akash.