AssertionMustProvideMessage returns false positives for assertions with non-void return types

[morpfl]

The constraint junit<4,5>:AssertionMustProvideMessage returns false positives, if assert methods are used having a return type which is not void. For example, the assertThrows(...) methods declared in org.junit.jupiter.api.Assertions return the corresponding Throwable instead of void.