Fixed a bug in produce_lemma_function_pointer_chunk (test case follows soon)
Fixed a bug in produce_lemma_function_pointer_chunk (test case follows soon)

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast