Valiting that variables are initialized before specific write operations