Add assert3.

It is combination of assert and assert2.