Sm-Lite changes after first iteration