Renamed symbolic testcases to show that they only treat 32 bit case
Added testcase for 16 bit symbolic values (s2e revision a12bd45)

Signed-off-by: Jonas Zaddach <zaddach@eurecom.fr>