DiFR: Inference Verification Despite Nondeterminism

Re-assign community