WLS: updated description of assume statement.