let help = "select the write accesses to left-values v1,...,vn (addresses are evaluated at the beginning of the function given asentry point)"