corrected program runs with undeclared vars
update SS semantics with increment