feat(#357): Deep Assertions

[volodya-lombrozo]

In this PR I added support of deeply nested annotations. Particulary inside:

1. If statementes
2. Lambda Expressions

Related to #357.

History:

• fix(#357): identify the problem
• fix(#357): fix the problem with if-statements
• fix(#357): suggest ugly solution
• fix(#357): add two more puzzles

---

PR-Codex overview

The focus of this PR is to add test cases for issue #357 related to assertions inside if statements and closures.

Detailed summary

• Added test cases for assertions inside if statements and closures for issue #357
• Refactored flatStatements method for better readability and maintainability

✨ Ask PR-Codex anything about this PR by commenting with /codex {your question}

[volodya-lombrozo]

@rultor merge

[rultor]

@rultor merge

@volodya-lombrozo OK, I'll try to merge now. You can check the progress of the merge here

[rultor]

@rultor merge

@volodya-lombrozo Done! FYI, the full log is here (took me 5min)