Minor update to tst results related to generation of the let be st statement
Updated the transformation visitor such that bindings are cleaned up if they point to a set with the empty set type. Also, some refactoring of the code has made by moving utility functionality to the transformation assistant class.