abstract val assertionChecker: AssertionChecker
The AssertionChecker which shall be used for checking the assertions.