Implemented transitive auto-close. TODO:   - take into account instance predicates and predicate constructors   - improve treatment of fractions for auto-close
Implemented transitive auto-close. TODO:
  - take into account instance predicates and predicate constructors
  - improve treatment of fractions for auto-close

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast