| Some j -> [j]
in
let index_term1, index_term2 =
- if (conclude.Con.conclude_method = "RewriteLR" && is_top_down)
- || (conclude.Con.conclude_method = "RewriteRL" && not is_top_down)
- then 2,5 else 5,2
+ if conclude.Con.conclude_method = "RewriteLR" then 2,5 else 5,2
in
let term1 =
(match List.nth conclude.Con.conclude_args index_term1 with