Using Variables from Sub-componnets for framing Temporal Properties gives error
The temporal patterns give error if the variables (including channel variables in between sub-components) from sub-component level are used. Though this may be by design, the scope addition to the variable can actually check the property at any level.
(from redmine: issue id 3723, created on 2019-04-28)