We should validate that the condition that stops us from adding more implicit edges when we hit the max edges limit in addImplicitEdgesAndInferPredicates() 1) works and 2) always picks the same first few implicit edges (just in case this could be a source of non-determinism).