fix test case

was broken after moving file
Merge branch 'CallGraph' into liveness