let descr =
             "select the read accesses to left-values v1,...,vn
         (addresses are evaluated at the beginning of the function given as entry point)"