Fix of spec failure and handle multiple next state checking
cleaner
120 char violation
Merge pull request #38 from mdsol/rdlint2

Rdlint2