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