method add v =
    if (size = 0) then assert false ;
    if (counter > size - 1) then assert false;
    debug "intprojection : var %d -> int %d" v counter;
    Util.IntHashtbl.add vartoint v counter;
    inttovar.(counter) <- v;
    counter <- counter + 1