The start of a liveness analysis for Rabbit1.