fixes to ImplicationGraph & GraphExecutive & Executive; GraphPlanTest seems to produce repeatable stable results