Removed some debug prints from testCrunch++