Formula equality defined correctly for freeze.
Another formula equality defined and tested. Subsequently, LinearPredicate.equals corrected.
Remover of closed freezes tested and corrected.