More Datastructures

Tables for May and Must decision analysis
Mapping to easily retrive arriving and departing edges of label
Skeleton for the running analysis method