Fixed one assert so that code can be run without assertions

I think we should always use assertions (as now they also detect most of
the user errors). Anyway, in this manner it is possible to undefine them
to monitor their impact on performance, which is expected to be negligible.