Make base MayPointTo query speculative

var_eq queries various points-to-sets which aren't in program at that location.

Author: sim642

src/analyses/base.ml

@@ -1546,6 +1546,7 @@ struct
         | _ -> Queries.Result.top q
       end
     | Q.MayPointTo e -> begin
+        let@ () = GobRef.wrap AnalysisState.executing_speculative_computations true in (* TODO: speculate other queries too? *)
         match eval_rv_address ~man man.local e with
         | Address a -> a
         | Bot -> Queries.Result.bot q (* TODO: remove *)