[Formal verification] Temporal logic patterns as constraints
The constraint is created, see
org.fortiss.af3.specification.constraint.TLSpecificationConstraint.
Now remains to populate it.
(from redmine: issue id 2725, created on 2016-10-25, closed on 2017-01-30)