let
mk_asbstract_post auto func =
mk_abstract_pre_post auto func
Promelaast
.
Return