The argument to @sp is not optional in Texinfo 5.1.
Load `cl' at compile time for `assert'.