Visually adding operations as a pre and postcondition

[shoaei]

Issue:
Drag and drop an operation(s) in some predefined area around an operations to create a pre and postcondition automatically.

Suggestion:
Define an area around an operation where one can select bunch of operations and drag and drop on that area so they become automatically precedence operations of that operation. This can be also extended for post condition.