Now Tracing is almost correct. (some constructor calls are repeated)