Unused propagate operator removal

This optimisation eliminates objects that are provided to WLs but that are not being used at all. A common situation where this happens is a result of using "check ps" and then optimising the actual checks away.