Addes asserts.