Fixed a broken build seemingly caused by lemma_auto nth_take in rt/PureList.java. It causes what seems like an infinite loop when verifying examples/java/Comprehensions.java using Redux (but not when using Z3). Comprehensions.java is now only verified using Z3.
Fixed a broken build seemingly caused by lemma_auto nth_take in rt/PureList.java. It causes what seems like an infinite loop when verifying examples/java/Comprehensions.java using Redux (but not when using Z3). Comprehensions.java is now only verified using Z3.

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