Test only remembers some Egraph edges at random