tests for variables correctness