#29 DIGGER for canonical filters

[Michiel Hendriks]

DIGGER does not work with the new notation. This is because DIGGER kept records of the target.selector of a message (and nothing else) and verified the condition expressions (which has been completely overhauled).
DIGGER probably needs to be redesigned to properly handle the new message concept.