Implement assertion statements (fix #35).