Verify some properties of string operations represented by intrinsics.