update the program run for SS increment
corrected program runs with undeclared vars
update SS semantics with increment