new end if assertion