Default value of return values

Return variables should be initialized to default value:
```solidity
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.