def test_addbug():
    int5A = fsm(alphabet={'a', 'b', 'c', anything_else}, states={0, 1}, initial=1, finals={1}, map={0: {anything_else: 0, 'a': 0, 'b': 0, 'c': 0}, 1: {anything_else: 0, 'a': 0, 'b': 1, 'c': 1}})
    assert int5A.accepts('')
    int5B = fsm(alphabet={'a', 'b', 'c', anything_else}, states={0, 1, 2}, initial=1, finals={0}, map={0: {anything_else: 2, 'a': 2, 'b': 2, 'c': 2}, 1: {anything_else: 2, 'a': 2, 'b': 2, 'c': 0}, 2: {anything_else: 2, 'a': 2, 'b': 2, 'c': 2}})
    assert int5B.accepts('c')
    int5C = (int5A + int5B)
    assert int5C.accepts('c')
def test_addbug():
    int5A = fsm(alphabet={'a', 'b', 'c', anything_else}, states={0, 1}, initial=1, finals={1}, map={0: {anything_else: 0, 'a': 0, 'b': 0, 'c': 0}, 1: {anything_else: 0, 'a': 0, 'b': 1, 'c': 1}})
    assert int5A.accepts()
    int5B = fsm(alphabet={'a', 'b', 'c', anything_else}, states={0, 1, 2}, initial=1, finals={0}, map={0: {anything_else: 2, 'a': 2, 'b': 2, 'c': 2}, 1: {anything_else: 2, 'a': 2, 'b': 2, 'c': 0}, 2: {anything_else: 2, 'a': 2, 'b': 2, 'c': 2}})
    assert int5B.accepts('c')
    int5C = (int5A + int5B)
    assert int5C.accepts('c')