Formalization with variable in time-expression are not tagged with warning- or error-tag

[henkele]

Steps to reproduce:

• Add the formalization:
  Globally, it is always the case that "true" holds at least every "variable_of_type_int_or_real" time units.
• Requirement is not tagged with any error tag, but the exported requirement will cause failure during reqcheck