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