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