Correct or remove tests of obsolete features

There were several tests dealing with obsolete behaviour, like
a short-circuiting && operator. These did not test the defined language
and so can be removed now.