[Tests] cleans migration of eva tests

tests/value/ai_annot.i

tests/value/align_char_array.c

tests/value/array_initializer.i

tests/value/array_zero_length.i

tests/value/base_addr_offset_block_length.i

tests/value/big_lib_entry.i

tests/value/bitfield_longlong.c

tests/value/bts1306.i

tests/value/case_analysis.i

tests/value/cond_integer_cast_of_float.i

tests/value/constarraystructlibentry.i

tests/value/context_free.i

tests/value/dead_inout.i

tests/value/dead_statuses.i

tests/value/disjoint_status.i

tests/value/fptr.i

tests/value/from_call.i

tests/value/global_bug.i

tests/value/incorrect_reduce_expr.i

tests/value/init_const_guard.i