Bugfix

Fixed a bug where the binding of a parameter during a function call would occur twice in the trace.