Fixes for the documentation of the new `assumptions` example