global

def ==(other)
  return false unless other
  control_node.equal?(other.control_node) &&
    child_node.equal?(other.child_node)
end