tightening flows_included_in relation for the IFC examples with layered effects
tightening flows_included_in relation for the IFC examples with layered effects

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar