Added some test cases for select boxes in concolic mode.