Better printing for 0x0 selector in counterexample

[igorganich]

Is your feature request related to a problem? Please describe.
We can use

bytes4 selector = svm.createBytes4("selector");
vm.assume(bytes4(some_data) == selector);

pattern to print it in counterexamples.
In the case of normal functions, it prints pretty functions names in counterexamples:

Counterexample:
...
    halmos_selector_bytes4_213bfa9_18 = withdraw

But if the function is ETH transferring (0x0) - it just prints

Counterexample:
...
    halmos_selector_bytes4_2b8420c_24 = 0x00000000

And I think such behavior may be enhanced

Describe the solution you'd like
Maybe, print "transfer" instead of 0x00000000 ?

Additional context

1. checkout on this commit igorganich/damn-vulnerable-defi-halmos@cc4fadc
2. halmos --solver-timeout-assertion 0 --function check_sideEntrance
3. see counterexamples