Adding useful tracing

- tracer of patter matcher with tidy output
- rearangment of order boundery and length watcher
-