remix-project/remix-analyzer/test/analysis/test-contracts/solidity-v0.5/transfer.sol

contract c {
    uint x;
    function f(address payable r) public payable {
        r.transfer(1);
        x = 2;
    }
}