cpsa-2.0.0: tst/missing-contraction.scm

(defprotocol missing-contraction basic
  (defrole sender
    (vars (m n text) (a b name))
    (trace 
     (send (enc a m (pubk a)))
     (send (enc a n (pubk b)))))
  (defrole receiver
    (vars (m text) (a b name))
    (trace 
     (recv (enc a m (pubk b))))))

(defskeleton missing-contraction
  (vars (m text) (a name))
  (defstrand sender 2 (m m) (a a))
  (defstrand receiver 1 (m m) (a a))
  (precedes ((0 1) (1 0)))
  (uniq-orig m)
  (non-orig (privk a)))