minor
adding support for indirect memory
symbolic memory checking implemented but not working
fixed bug where mem_ssaid wouldn't propagate
(now runs to completion --- fixed minor runtime error)
not verified