let is_user_formal_in_builtin lv = 
  try LogicParam.find lv with Not_found -> false