def test_str_w_ann():
    a = RPythonAnnotator()
    s1 = a.build_types(str_w1, [str, W_Str])
    s2 = a.build_types(str_w1, [str, W_Root])
    assert (s1.knowntype == str)
    assert (s2.knowntype == str)
def test_str_w_ann():
    a = RPythonAnnotator()
    s1 = a.build_types(str_w1, [str, W_Str])
    s2 = a.build_types(str_w1, [str, W_Root])
    assert (s1.knowntype == str)
    assert (s2.knowntype == str)