Support for encode function

[dongyu123]

• First, much thanks to your contribution.
• But I find encode function is not supported.
• My contract is test/libsolidity/semanticTests/abiEncoderV1/abi_encode_call.sol

contract C {
    bool x;

    function c(uint256 a, uint256[] memory b) public {
        require(a == 5);
        require(b.length == 2);
        require(b[0] == 6);
        require(b[1] == 7);
        x = true;
    }

    function f() public returns (bool) {
        uint256 a = 5;
        uint256[] memory b = new uint256[](2);
        b[0] = 6;
        b[1] = 7;
        //(bool success, ) = address(this).call(
        //    abi.encodeWithSignature("c(uint256,uint256[])", a, b)
        //);
        (bool success, ) = address(this).call(c(a, b));
        require(success);
        return x;
    }
}
// ====
// compileViaYul: also
// ----
// f() -> true

and the result is

test/libsolidity/semanticTests/abiEncoderV1/abi_encode_call.sol:18:13: solc-verify error: Member without corresponding declaration: encodeWithSignature
test/libsolidity/semanticTests/abiEncoderV1/abi_encode_call.sol:18:13: solc-verify error: Only identifiers are supported as function calls

• My command is solc-verify.py test/libsolidity/semanticTests/abiEncoderV1/abi_encode_call.sol
  and my branch is 0.8.
• Would you tell if encode function is not supported, or my command is wrong?
• Thank u very much!