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