[ros-diffs] 01/09: [CMLIB] Adjust parameter types and annotations. Add diagnostic assertions.