[docs] Add assumption checks.

Signed-off-by: Stéphane Galland <galland@arakhne.org>