utbotc_tests

Tested:

sqlite_merged_comb.c
elevator_spec1_product03.cil.c
cut-1.c
linux-3.8-rc1-32_7a-drivers--media--dvb-frontends--stv090x.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.c
systemc