`why3 session update --add-provers` adds too many proof nodes
currently, adding provers in a session adds proof nodes both on root goals and on subgoals of transformations. This is not expected
currently, adding provers in a session adds proof nodes both on root goals and on subgoals of transformations. This is not expected