Update asserts to syntax extension form
Update obsolete syntax