ast::AbstractNode* xor_simplification(API&, ast::AbstractNode* node) {

  if (node->getKind() == ast::ZX_NODE) {
    node = node->getChildren()[1];
  }

  if (node->getKind() == ast::BVXOR_NODE) {
    if (node->getChildren()[0]->equalTo(node->getChildren()[1]))
      return node->getContext().bv(0, node->getBitvectorSize());
  }

  return node;
}