Testcase to find a bug in Tee Key Declarations