anchor.diff:      ((typep term 'erlang-tuple)
        (with-slots (elements) term
          (make-instance
  -	'erlang-tuple
  -	:elements (map 'vector #'translate-complex-terms elements))))
  +        'erlang-tuple
  +        :elements (map 'vector #'translate-complex-terms elements))))
       (t
        (error "~a is not a BERT term." term)) ))
   
  
positive.code:   (when (and (typep bert-term 'erlang-tuple) (< 0 (arity bert-term)))
      (let ((first-element (aref (elements bert-term) 0)))
        (and (symbolp first-element)
  	   (string= "bert" (symbol-name first-element))))))
  
  
  (defun translate-complex-terms (term)
  
negative.code: 
  (defmethod translate-complex-type ((dict hash-table))
    (tuple '|bert| '|dict|
           (loop
              for key being the hash-keys in dict using (hash-value value)
              collect (tuple (translate-complex-type key)
                             (translate-complex-type value))) ))
  
  
  (defmethod translate-complex-type ((nil-symbol (eql nil)))
  