more testcases from Volkmar Klatt

simplified/adapted for the firm testsuite
a testcase for a bug fixed a while ago