added tests for problem.value