let loc_var_visible ff_opt var = match ff_opt with
    | Isrc -> true
    | Iproto -> false
    | Iff (ff,_) ->
        let m = !Db.Slicing.Slice.get_mark_from_local_var ff var in
          visible_mark m