Lines Matching defs:isKnownToBeAPowerOfTwo