Add to 'simple example' a test where a and b have the same implementation.