New regression test for layered effect extraction... see FStarLang/fstar#2059
New regression test for layered effect extraction... see FStarLang/fstar#2059

FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin,FStarLang/kremlin