Add to event maps without switch statements
Encode arrays (i.e. memory loads and stores)

This new encoding introduces array axioms using symbolic offsets.