Some Pathological Message Sequence Charts, and How to Detect Them