Add stylistic improvements#134

knarrff merged 6 commits intoDE-RSE:mainDE-RSE/2023_paper-RSE-groups:mainfrom

sloede:msl/stylistic-improvementssloede/2023_paper-RSE-groups:msl/stylistic-improvementsCopy head branch name to clipboard