@Test
public void testMult() {

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