@Test
public void testSub1() {

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