method vannotation = function
| Dfun_or_pred (linfo,_) ->
List.iter (fun lv ->
oracle "[logicParam] %a" !Ast_printer.d_logic_var lv;
LogicParam.replace lv false) linfo.l_profile;
DoChildren
| _ ->DoChildren