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