remove defunct dependency from reif.pl
memberd_t/3, tfilter/3, tmember/2, tmember_t/3,
tpartition/4]).
-:- use_module(library(control), [(\=)/2]).
:- use_module(library(dif)).
/* in essence, '$reify_switch'(T, Then_0, Else_0) is semantically this,
