Default value of return values

[hajduakos]

trafficstars

Return variables should be initialized to default value:

contract Ret {
    function f() public pure returns (int x) { // Returns 0 by default
    }

    function() external payable {
        assert(f() == 0); // Should hold
    }
}

Currently solc-verify reports the assert to fail.