check (to be reworked at some point)

We put an abort() at this point in the code, because
if the previous commit is correct, the program will
never comme here.