Incremental W method equivalence oracle