+ fixed a bug of Christian's BPEL semantics concerning the forced termination of <assign>
+ fixed a bug of Christian's BPEL semantics concerning the forced termination of <assign>

nlohmann/bpel2owfn,nlohmann/bpel2owfn