Work on SLIF Progress.pod: some tracing tests fail