James Bergstra added the assert in 2010; 
it was not triggered since then so maybe 
this code can finally be removed?