Home Assignment 2: Stuttering and Bisimulation