parid0377 | Sat, 22 Feb 2003 16:02:03
If neither assertion specifies its assertion type, it cannot be assumed that the lack of an assertion type itself constitutes a specific assertion type which is the same for both.
Untyped assertions never merge.