* workaround for state predicate problem (renaming of places has no effect on final   condition), cf. task #7837
* workaround for state predicate problem (renaming of places has no effect on final
  condition), cf. task #7837

nlohmann/bpel2owfn,nlohmann/bpel2owfn