  * cuex_dunion_find seems unfinished
  * In cuex_ssfn_find_it_advance, after return_in_unify_var:
    ex0 used uninitialised
