let divargs = args_of_inert p.div in\r
let conargs = args_of_inert t in\r
let rec range i j =\r
- if j = -1 then [] else i :: range (i+1) (j-1) in\r
+ if j = 0 then [] else i :: range (i+1) (j-1) in\r
let rec aux k divargs conargs =\r
match divargs,conargs with\r
[],conargs -> range k (List.length conargs)\r