assert check add