let mk_asbstract_pre auto func =
  mk_abstract_pre_post auto func Promelaast.Call