Function eval_choreography_confluent 

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

Run five schedulers and demand bit-equal outputs — Kahn determinacy, executed.