Added assertions for diff bounds test