Adding nodes in winning predicate in FakeOracle