* Swap rules i and j such that i + 1 = j. * j.captures = j.captures | (i.captures & j.tt) * i.captures = i.captures & ~j.captures * then swap positions i and j */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected