- Commented properties that use implication and which are not handled correctly in the current implementation
- Removed And node from PropositionalLogic example which make the automatic generator injection get nuts