redesigned runtime assertion