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