assq

assq : (x (listof (cons x y)) -> (union false (cons x y)))
purpose: to determine whether some item is the first item of a pair <NL> in a list of pairs