Please read this!

Before opening a new issue, make sure to [search for keywords in the issues
tracker](https://labs.etsi.org/rep/ttcn3/lang/issues?label_name%5B%5D=type::bug)
and verify the issue you're about to submit isn't a duplicate.

Please remove this notice if you're confident your issue isn't a duplicate.

Bellow template is a suggestion for a bug report. Feel free to modify it as you
see fit.

------

### General Information

Mantis ID/URL:

Clauses:

Affiliation:


### Summary

Summarize the issue concisely.


### Example

If possible, please create a small example that exhibits the problematic
behaviour. Please use code blocks (```) to format code examples.

### What is the current *bug* behavior?

What actually happens. If possible provide involved sections of the standard.

### What is the expected *correct* behavior?

What should happen instead. If possible provide involved sections of the standard.


### Possible fixes

If you can, suggest possible fixes.

/label ~type::bug
