Quick fix for issue 3745
Add test for issue 3745
Dirty fix: constantsimp with wrong startnumber