method vexpr e =
begin
(* Logical ands and ors are lazy and generate two different paths *)
match e.enode with
| BinOp ((LAnd | LOr), _, _, _) ->
self#incr_both_metrics (self#incr_dpoints);
| _ -> ()
end;
Cil.DoChildren