Filtration of traces through external executables is working. Added as Example 11.