corrected work flows: no multiple post-conditions allowed!