Support simplification of array access expressions
Support simplification of array access expressions

This adds support for the simplification of array access expressions in
the case that both the source array and the index are constants.  In
such case, we can effectively evaluate the array access to produce one
of the values contained within.

Whiley/WhileyTheoremProver