Introduced some stepwise postconditions in workflow