Use a default assertion checker when necessary.