NEW allowed subgoals have been replaced with keepByproducs flag