match ppmethod with
| PPnormal ->
(* now work on tokens *)
-
(* phase1: just get all the tokens, all the information *)
assert(toks_e +> List.for_all (fun t ->
TH.is_origin t or TH.is_expanded t
(* assert Origin;ExpandedTok; + Cocci + C (was AbstractLineTok)
* and no tag information, just NOTHING. *)
-
let toks =
if !Flag.sgrep_mode2
then