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