xmemberd_t(E) :-
   if_( a = E, false, true ).