repli set object reach receiv set take step defin given child gener result includ element origin set order avoid deep search program mistak path length tc limit consid param cg given childgener result listset list set transit closur argouml util child gener cg transit closur cg tc limit argouml util predic instanc 