Fixed bug: some of the lemmas declared in prelude.h were not provided in crt.vfmanifest.
Fixed bug: some of the lemmas declared in prelude.h were not provided in crt.vfmanifest.

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