72 Integrity check for horizontal relations (CADStep relations)

[ryukzak]

#72
CAD steps used for:

• store information about binding;
• store information about refactoring.

But in practice, only Fram work with it and work in a wrong way (it is incorrect to call relations between a binding and a refactoring vertical). So decide to introduce horizontal relation type in this branch and request the integrity check for it.

Rules:

• All function steps should be related to CADStep by binding vertically.
• All CADSteps should be related to:
  • function step vertically
  • or another CADStep horizontally (direction doesn't matter).

E.g.,

• Bind Loop -> Bind LoopBegin (horizontal)
• Bind Loop -> Bind LoopEnd (horizontal)
• Bind LoopBegin -> FStep LoopBegin (Vertical)
• Bind LoopEnd -> FStep LoopBegin (Vertical)

Before merge:

• comment actual checking of such relations inside the integrity check
• fill placeholder inside this issue: Fix CADSteps and their relations #108