# define lsymbolSet_isDefined(l) ((l) != lsymbolSet_undefined)
/*@iter lsymbolSet_elements (sef lsymbolSet s, yield lsymbol el); @*/
# define lsymbolSet_isDefined(l) ((l) != lsymbolSet_undefined)
/*@iter lsymbolSet_elements (sef lsymbolSet s, yield lsymbol el); @*/