[Bug]: incorrect IR for array initialization

[Troublor]

Describe the issue:

When declaring a new array variable using another previously defined array variable, InitArray IR operation is used, which is incorrect.
To my understanding, InitArray only represents initializing an array literal by listing its elements.
In the example code below, Assignment IR operation should be used instead of InitArray.

Code example to reproduce the issue:

contract Contract {
    function foo(uint[] memory arr) public {
        uint[] memory arr2 = arr;
    }
}

Version:

0.9.3

Relevant log output:

INFO:Printers:Contract Contract
        Function Contract.foo(uint256[]) (*)
                Expression: arr2 = arr
                IRs:
                        arr2(uint256[]) =  ['arr']  # InitArray operation, which is incorrect

[Troublor]

Another bug-revealing contract, which may be induced by the same bug in slither, but different use cases. This one is array assignment (instead of array initialization like the previous given reproducible example).

contract A {
    function bar() public returns (uint[] memory x) {
        x = bar();
    }
}

INFO:Printers:Contract A
        Function A.bar() (*)
                Expression: x = bar()
                IRs:
                        TMP_0(uint256[]) = INTERNAL_CALL, A.bar()()
                        x(uint256[]) =  ['TMP_0']  # InitArray operation, which is incorrect