Application bugfix

Fixed a bug where the trace of the application of a user-defined
function was incorrectly executed