Included assert statements to TA