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