Merge pull request #713 from fabro-sh/fix/require-unvisited-goal-gates