Chop token

chopAlts used to chop 

" dup([])     = {v| v = (? (Set_emp v))}
  dup(x:xs) = {...}"

as

" dup([])     = ", "{v| v = (? (Set_emp v))}
  dup(x:", "xs) = {...}"