WyCS: bug fix for parsing assert statements.