[TazeTSchnitzel]

Reachability is one strategy for detecting leaks but it's not the only one. Checking for unfreed memory is easier to implement.