simplify `handle_postprocess_with_attr` since all attribute are now typechecked
simplify `handle_postprocess_with_attr` since all attribute are now typechecked

FStarLang/FStar,FStarLang/FStar,FStarLang/FStar