Remove inline_for_extraction following adverse interaction on the F* side
Remove inline_for_extraction following adverse interaction on the F* side

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