identify a set of test cases that satisfies the all defs criterion, for variables x, k and y in method fun. use trace tables to show how the def-use pairs are covered.