code { MEM } ;
input { Stack_elt string "" ; Stack_elt (set string) { "Hello" ; "World" } } ;
output { Stack_elt bool False }