let mk_abstract_post auto func =
  mk_abstract_pre_post auto func Promelaast.Return