Inst_nothing_Kept_nothing_Lskept_nothing_Product_nothing_Kept_twin_Poly_guard
Inst_nothing_Kept_nothing_Lskept_nothing_Product_nothing_Kept_twin_Poly_explicit
Inst_nothing_Kept_nothing_Lskept_nothing_Product_nothing_Kept_twin_Poly_deco
Inst_goal_Kept_nothing_Lskept_nothing_Product_nothing_Kept_twin_Poly_guard
Inst_goal_Kept_nothing_Lskept_nothing_Product_nothing_Kept_twin_Poly_explicit

