pub type Graph = Graph<Instruction, Option<ProcedureCallId>>;
pub struct Graph { /* private fields */ }