WLS: updated description of assume statements.