`DuplicatedCondition`: Support more statements in dataflow

```tact
fun test() {
  require (a > 1, "condition 1");
  // some code
  require(a > 1, "condition 2"); // Bad: already have this check
}
```

Use instead:

```tact
fun test() {
  require (a > 1, "condition 1");
  // some code
}
```

It should work with `require` / `throw*` functions and `if` statements and ternary expressions.