Fixed a major bug where the smtree elements where not getting properly initialized