Function eval_choreography_traced_with 

pub fn eval_choreography_traced_with(
    p: &SpatialProgram,
    inputs: &Inputs,
    sched: Scheduler,
) -> Result<(Outputs, Trace), ChoreoFault>