Use suitable exceptions instead of pragma Assert