let
is_lformal =
function
|
{lv_origin =
Some
x}
->
x.vformal
|
lv
->
LogicParam
.mem lv