Fixed overshift of arithmetic right shift by symbolic so that it overshifts
to zero. Test case is included.