Lavet testcase 1