remove need to do preprocessing on 16-bit test

Author: Daniel Kroening

regression/cbmc/Promotion4/main.c renamed to regression/cbmc/Promotion4/main.i

@@ -1,5 +1,5 @@
 CORE
-main.c
+main.i
 --16
 ^EXIT=0$
 ^SIGNAL=0$