revert incorrect optimization--jump after first SetSTN should leave out second one!