Attempt to fix the third benchmark in #191
requested to merge github/fork/shaobo-he/fix-32_7a_cilled_true-unreach-call_linux-3.8-rc1-32_7a-drivers--pcmcia--pcmcia.ko-ldv_main2_sequence_infinite_withcheck_stateful.cil.out.c into master
Created by: shaobo-he
Similar to the fix in #305, this fix remove function pointer dispatch which is uninitialized and leads to assertion failure.