public void InsertNext([PexAssumeUnderTest] AphidInterpreter target, IEnumerable <AphidExpression> block)
{
target.InsertNext(block);
// TODO: add assertions to method AphidInterpreterTest.InsertNext(AphidInterpreter, IEnumerable`1<AphidExpression>)
}