else if repr=repr' then aux set (node'::already_visited) (!geq'@tl)
else if leq_reachable node' !leq then
aux set (node'::already_visited) (!geq'@tl)
else if repr=repr' then aux set (node'::already_visited) (!geq'@tl)
else if leq_reachable node' !leq then
aux set (node'::already_visited) (!geq'@tl)
else if test to_be_considered_and_now set SubsetEqual repr repr' then
begin
if List.exists (function n -> n===node') !geq then
else if test to_be_considered_and_now set SubsetEqual repr repr' then
begin
if List.exists (function n -> n===node') !geq then