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