Support AssertionError in SARIF report

**Description**

If UTBot generates a test that throws an AssertionError, then for some reason there is no information about the detected error in the SARIF report.

**Expected behavior**

1. User generates tests for

```Java
public class Example {
 public void check(int number) {
 assert(number > 0);
 }
}
```

2. Then the SARIF report contains the result about an AssertionError.