Verify Distributed Deep Learning Model Implementation Refinement with Iterative Relation Inference