Adding checks on var decl annotations.