[DMS-60] Misc fixes

[DK318]

In this PR some miscellaneous fixes were applied:

• Fixed wrong continue translation in while loops.
• Added locations for pre/post conditions in the source mapper.

continue in While Loops

Previously, we were adding continue labels at the beginning of the while loop. This is not the correct translation because after goto the loop iteration check is skipped.

while (cond) {
  label $lbl$continue$loop;
  ...
  if (cond1) {
    goto $lbl$continue$loop;
  }
}

After going into if (cond1) cond check is skipped.

It's fixed by moving the continue label to the end of the loop.

while (cond) {
  ...
  if (cond1) {
    goto $lbl$continue$loop;
  }
  ...
  label $lbl$continue$loop;
}

Locations for Pre/Post Conditions

We were lack of pre/post conditions locations in the source mapper. If the assertion contains an error the whole method body would be highlighted.

Before

After

[GoPavel]

Great! Thanks