test transitions having the same end state