If x and y have the same safety level,
   then (x ++ y) has again that same safety level.