Profiling TL programs
Not yet implemented.
Should be performed accordingly to
Debugging of TL programs
.
Gerald Schröder
(5-oct-1995)