Feature #1797: Update states-simple.dot
(cherry picked from commit 3371302024e66dc63da82942787a37c96f756b75)
Feature #1797: Update states-complete.dot