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