[Analyses] internal state variable should not be allowed in the verification pattern
Internal state variables should not be allowed in the verification pattern
(from redmine: issue id 2699, created on 2016-09-26, closed on 2017-01-30)
Internal state variables should not be allowed in the verification pattern
(from redmine: issue id 2699, created on 2016-09-26, closed on 2017-01-30)