Added C test case that checks that concrete and symbolic overshift
behaviour for left shift are identical.