Assertions: better rule error reporting.