Comment 1 for bug 306427

I generally consider "from storm.locals import *" as a short cut for use in the interactive shell, and usually use direct imports from the other modules in the storm package for real programs.

Your proposed changes to the tutorial do not match how we generally use Storm, so I would not be in favour of those changes.