Utilities :
Tracer can be used to add (non logging) traces that are shown when using assertions (slightly more performance than with log traces)
Names is a utility to generate unique names
Tracer can be used to add (non logging) traces that are shown when using assertions (slightly more performance than with log traces)
Names is a utility to generate unique names