Abstract semantics for 0-CFA.
Seperated abstract and concrete semantics.