!759

static boolean safe(Native n) {
  if (n.match("Z = [[in S X] + [in S Y]]")) yo {
    BigInteger x = bigint(n.str("X"));
    BigInteger y = bigint(n.str("Y"));
    n.set("Z", str(x.add(y)));
    ret true;
  }
  
  ret false;
}