debug wolframize