interpreter and exposing abstract domain content in.  now working on exposing flow sensitivities.