switched to Map of Variables to varinfo * loc * state * cert
TODO: functions, stack of locations