Merge branch '627-tests-for-introduction-security-properties' into 'master'

Add one introduction test for modified response message

This is only the first part of #627, but I am putting it up for review already, since the second part will be very similar and issues found here will likely apply to both.

See merge request !306