False positives in @contract_interface

[milancermak]

Consider this interface declaration (a simplified version of this one):

@contract_interface
namespace IModuleController {
    func set_write_access(module_id_doing_writing: felt, module_id_being_written_to: felt) {
    }
}

Amarna produces 2 false positives - unused argument (for both arguments) and function never called.

Of course, neither make sense in a @contract_interface declaration.

[fcasal]

Thanks for reporting this, namespace decorators weren't being propagated