Function build_marked_graph 

pub fn build_marked_graph(
    p: &SpatialProgram,
) -> Result<MarkedGraph, CertifyFault>

Build the unrolled event graph of the whole schedule, every trip at its greatest count.