- fixed a bug (Verifast crashed when using unknown predicate in precondition of typedef)
- fixed a bug (Verifast crashed when using unknown predicate in precondition of typedef)

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