def test_int_extraction():
    def fun():
        return 10

    assert extract_terminals(fun) == [10]
def test_string_extraction():
    def fun():
        return 'simple string'

    assert extract_terminals(fun) == ['simple string']