New test cases for Leif Andresen's examples.