let find_term_loc_or_status values state f l =
      match f.l_var_info.lv_name, l with
      | a, [ y ] when a = state_name ->
          let e = !Properties.Interp.term_to_exp y in
          Some (find_loc_or_status values state e)
      | a, [] when List.mem a S.possible_annotations ->
          Some (Status (S.annotations2state S.bottom [ a ]))
      | _, _ ->
          None