Restructure VerifyInclusion
Name predicate functions to use names like isOdd, isEven, isPowerOfTwo. Delete rshift function, replaced with direct use of the ">>= 1" operation.
Name predicate functions to use names like isOdd, isEven, isPowerOfTwo. Delete rshift function, replaced with direct use of the ">>= 1" operation.