assignments and variable declaration checks