Intention to convert an if with throw to an assert