None issue

[diorcety]

Type inference issue when using none

#pythran export aa(str:str dict)
def aa(headers):
    errors = []
    xxx = None

    def add_error(type, args):
        errors.append((type, args))

    if "DUMMY_PYTHRAN" in headers:
        xxx = True

    if xxx is not None:
        add_error(1, ['AAAAA'])

    #if xxx is not None and xxx: # Can't compile
    #    add_error(1, ['AAAAA'])

    #if "DUMMY_PYTHRAN" in headers: # Without that we have a missing symbol at runtime
    #    add_error(2, ['DUMMY_PYTHRAN'])
    return errors