New function SB-EXT:ASSERT-VERSION->=