fixes applied to Semantics test suite

Olivier Corby found a few glitches in the Semantics test suite, which have 
been fixed.

peter

Received on Tuesday, 5 November 2013 13:54:23 UTC