-- type ControlFlowGraph a b = [Call a b]

controlPointId :: ControlPoint a -> Sym
controlPointId (Global id _) = id
controlPointId :: ControlPoint a -> Sym
controlPointId (Global id _) = id
controlPointId (Global id _) = id