https://123dok.net/document/yj7r201k-secure-service-composition-with-symbolic-effects.html