global

def ==(other)

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