Rdlint2

-Finished todo of checking transitions "next" states as an array
-Fixed spec failure (phantom property in protocol section caught in r1.9.3-p327, but not in r1.9.2.-p290)