NEW : set search Outcome and Final State for DepthFirstSiblingCutSearch
NEW : subclass of GraphSearch with limited node expansion and Outcome and Final State setting
CLEAN : use of last two updated algorithms + clean display