Add predicate isPowerOf2