Removed "internal error bug" when using dummy or variable patterns in a CallExpr.
Removed "internal error bug" when using dummy or variable patterns in a CallExpr.



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