Added new verification unit: Coherent writing of variables.