vstte: problem3: dispose works. Cleaned up code. This should cover everything, except generics (depending on interpretation), and tail_of_singleton_is_nil.
vstte: problem3: dispose works. Cleaned up code. This should cover everything, except generics (depending on interpretation), and tail_of_singleton_is_nil.

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