use dependency, 2^5 test cases, 1 var decomposed, test generation using sensitivity