Ah, `raises` is not used with `assert`. My fault. Now it works. See the next commit.