Avoid issues with Landmarks' PPX and constructors inside methods

src/plugins/dive/build.ml

@@ -47,7 +47,7 @@ struct
   let visitor f =
     object
       inherit Visitor.frama_c_inplace
-      method! vlval lval = f lval; SkipChildren
+      method! vlval lval = f lval; Cil.SkipChildren
     end
 
   let from_exp f exp =

src/plugins/wp/TacInduction.ml

@@ -108,7 +108,7 @@ class induction =
       let value = Tactical.selected s in
       if F.is_int value then
         match self#get_base () with
-        | Some base -> Applicable(process value base)
+        | Some base -> Tactical.Applicable(process value base)
         | None -> Not_configured
       else Not_applicable
 

src/plugins/wp/TacSequence.ml

@@ -59,7 +59,7 @@ class sequence =
       | Fun(f,[a;n]) when f == Vlist.f_repeat ->
           let result = F.typeof value in
           let at = Tactical.at s in
-          Applicable
+          Tactical.Applicable
             begin
               match self#get_field vmode with
               | `Sum ->