Add at_most_one_goal_left