public HashSet <string> GetImports([PexAssumeUnderTest] AphidInterpreter target) { HashSet <string> result = target.GetImports(); return(result); // TODO: add assertions to method AphidInterpreterTest.GetImports(AphidInterpreter) }