Deprecating lightweight do notation: add related warnings in expected outputs
Deprecating lightweight do notation: add related warnings in expected outputs

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar