@Test
public void testSub() {

  BigInteger firstArgument = mock(BigInteger.class);
  DRes<SInt> secondArgument = mock(DRes.class);
  decorator.sub(firstArgument, secondArgument);
  verify(delegate, times(1)).sub(firstArgument, secondArgument);
}