Store the variable changes into a map for each BasicBlock