WLS: added description of assert statement.