The module (rnrs conditions (6)) exports &assertion but renames the imported &assertion-failure to &assertion-violation (not &assertion). Programs using &assertion from (rnrs conditions) fail with an unbound variable error.
Using &violation instead of &assertion works. -- Ricardo
