dot expr: migrate datalogger do nothing to generic dot expression
dot expr: migrage datalogger generator
dot expr: side transformation for array access
dot expr: focus attraction for member ref
dot expr: migrate ringbuffer generator
dot expr: migrate smodel attributes

Migrate the existing smodel attributes to the new created concepts instances. These attributes are
used by the generator to store macros.
dot expr: fix textgen for memberref
dot expr: fix ringbuffer template fragments
dit expr: migrate missing smodel attributes for su expressions
dot expr: fix nusmv generator