	@Test
	public void testBvMod() {

		assertEquals(
			Bv(new boolean[] {false, false, false, true}),
			simplify(BvExprs.SMod(
				Bv(new boolean[] {false, true, false, false}),
				Bv(new boolean[] {false, false, true, true})
			))
		);
		assertEquals(
			Bv(new boolean[] {false, false, false, false}),
			simplify(BvExprs.SMod(e, e))
		);
	}