Issue 1: Implement a map-based ASM representation

Implement the better ASM abstraction based on a symbolic key -> value
map as described in GH issue #1