A predicate name defined using #assert can
be tested in a #if expression, for example:
#if #name(token-sequence)
This has the value 1 if a #assert of the
name name with the
token-sequence token-sequence has appeared,
and 0 otherwise. A given predicate can be given more than one value
at a given time.