Issue 5: an error message is misleading when @violation handler is used for LTL
Status:  Accepted
Owner:
Project Member Reported by linjus...@gmail.com, Nov 4, 2011
For the following LTL property:

  ltl: [](read => <> obliterate)

JavaMOP 2.3 generates the following error:

  [Error]violation is not a supported state in this logic, ltl.

It's misleading because @violation is actually supported.