Hi >>Other unresolved issue is what to do with assertions appearing before >>any "use assertions" declaration, maybe to print a warning? > > Yes, that would be a good idea : something like "assertion never activated at ..." This would require to take another bit from PL_hints, is that ok? - Salva