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