Automated checking of variable values