Reverted TreeOps
Corrected equals override for class Implies?
FLSSolver a lot of assumptions for simplicity