Added examples with infinite state loop