Method isLogical

ir/pointer.cpp:191–193

}

expr Pointer::isLogical() const {
  return hasLogicalBit() ? p.sign() == 0 : true;
}

expr Pointer::isLocal(bool simplify) const {
  if (m.numLocals() == 0)