Fixed a bug that caused a crash when auto-closing a precise predicate constructor if another fraction of the chunk being closed was already present
Fixed a bug that caused a crash when auto-closing a precise predicate constructor if another fraction of the chunk being closed was already present

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