let
mk_asbstract_pre auto func =
mk_abstract_pre_post auto func
Promelaast
.
Call