Analysis of variables' liveness in order to avoid redundant STORE instructions