public void PopFrame([PexAssumeUnderTest] AphidInterpreter target) { target.PopFrame(); // TODO: add assertions to method AphidInterpreterTest.PopFrame(AphidInterpreter) }