Added SSA destruction. Bugfixes, small improvements.