Refactoring to reflect move of WalaAnalysisResults to walautil