Fix formula shrinkers using simplification of tree representations for property-based tests
The current implementation for shrinkers of formulae, where the formula is parsed into a tree, then the deepest connective is replaced and thus simplified, does not work within the poperty-based test environment that it was meant for, although it works as iterator.