let has_vars xs p =
    F.pred_has_var xs p ||
      ( match !context with
          | [] -> false
          | c::_ -> has_var xs c.bindings c.hints )