Seemingly working unsound variable usage detection