Fix some reachability warnings with Eff