Implemented transformation for the assert statement