assert←{⍺←'assertion failure' ⋄ 0∊⍵:⍺ ⎕signal 8 ⋄ shy←0}

UD←{
  u←⍺⍺ ⍵
  assert (≢⍴u)=1⌈≢⍴⍵ :
  assert (≢u) > u ⍳ ⍵ :            ⍝ ⍵ ∊ u
  assert (≢⍵) > i←⍵ ⍳ Tol 0 ⊢u :   ⍝ u ∊ Tol 0 ⊢⍵
  assert 2 </ i :
  assert u ≡ Tol 0 ⍺⍺ u :
  assert (⍳≢u)≡u⍳u :
  1
}

   ∪ UD 3 1 4 1 5 9
1
   ∪ UD ×\1,1+20⍴⎕ct
assertion failure
UD[3] assert(≢u)>u⍳⍵:           ⍝ ⍵ ∊ u
     ∧