Function eval_choreography_with 

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