ifndef added and name of ValidIncremental locals changed
add predicate IsCopied which unites EqualBits and NotSet
wrong order of predicate definition fixed
Saving the state before the new Bitwalker is moved into master