fix smt encoding of isPower2