changed epsilon transition to revise_next_slot to make it clear whats going on