let l2 = HExtlib.list_mapi (fun x i -> x,i+1) l2 in
List.map (fun x -> List.assoc x l2) l1
in
- NTactics.block_tac ([ NTactics.branch_tac ]
+ NTactics.block_tac ([ NTactics.branch_tac ~force:false]
@
HExtlib.list_concat ~sep:[NTactics.shift_tac]
(List.map (fun gl-> [NTactics.pos_tac (pos_of gl goals); tactic]) classes)