Testcase for Preheaders problem