public void AddImport([PexAssumeUnderTest] AphidInterpreter target, string name)
{
PexSymbolicValue.Ignore(target.OwnerThread);
PexSymbolicValue.Ignore(target.AsmBuilder.AssemblyName);
PexSymbolicValue.Ignore(target.AsmBuilder.AssemblyFilename);
target.AddImport(name);
// TODO: add assertions to method AphidInterpreterTest.AddImport(AphidInterpreter, String)
}