copy event arguments during ssa conversion

[0xalpharush]

close #1345, close #1438
Now, the event contains the args:

Contract BasicToken
        Function BasicToken.transfer(address,uint256)
                IRs:
                        balances_1(mapping(address => uint256)) := ϕ(['balances_3', 'balances_0'])
                Expression: balances[msg.sender] = balances[msg.sender] - _value
                IRs:
                        REF_0(uint256) -> balances_1[msg.sender]
                        REF_1(uint256) -> balances_1[msg.sender]
                        TMP_0(uint256) = REF_1 (c)- _value_1
                        balances_2(mapping(address => uint256)) := ϕ(['balances_1'])
                        REF_0 (->balances_2) := TMP_0(uint256)
                Expression: balances[_to] = balances[_to] + _value
                IRs:
                        REF_2(uint256) -> balances_2[_to_1]
                        REF_3(uint256) -> balances_2[_to_1]
                        TMP_1(uint256) = REF_3 (c)+ _value_1
                        balances_3(mapping(address => uint256)) := ϕ(['balances_2'])
                        REF_2 (->balances_3) := TMP_1(uint256)
                Expression: Transfer(msg.sender,_to,_value)
                IRs:
                        Emit Transfer(msg.sender,_to_1,_value_1)