add omitted transitions test case fix (#19)