added bug label
assigned to @dupuisa
89-synthesis-name-is-snt-nobs-and-sod-smod-have-all-the-same-name to address this issue created branch 89-synthesis-name-is-snt-nobs-and-sod-smod-have-all-the-same-name to address this issue
mentioned in merge request !82 (merged)
mentioned in commit f808ad82
closed with merge request !82 (merged)