let
mk_abstract_post auto func =
mk_abstract_pre_post auto func
Promelaast
.
Return