protected override void Arrange()
{
base.Arrange();
base.Act();
Counter.Stub(x => x.Count).Return(5);
TimPredicate.Stub(x => x.Matches(Counter)).Return(false);
PexPredicate.Stub(x => x.Matches(Counter)).Return(true);
PexPrinter.Stub(x => x.Print()).Return("pex");
}
