public void IfClaimCanReduceMustReduce() { var exp = new ClaimedReducibleOverride(); Assert.Throws <ArgumentException>(() => exp.Reduce()); }
public void IfClaimCanReduceMustReduce() { var exp = new ClaimedReducibleOverride(); Assert.Throws<ArgumentException>(() => exp.Reduce()); }