f := clone(e)		-- now we have equal(e,f)
  g := deep_clone(e)	-- now we have deep_equal(e,g)