WIP
removed ApplyState, and adapted analysis (slowy moving toward edge-only
solution)
applyEdges iso. applicationStates
added concrete semantics