Local storage pointer can only be unpacked if it is an identifier

[hajduakos]

solc-verify.py libsolidity/syntaxTests/controlFlow/storageReturn/if_fine.sol --output .

Error while running verifier, details:
Parsing ./if_fine.sol.bpl
./if_fine.sol.bpl(108,20): Error: invalid type for argument 0 in application of f#2#S#3#constr: [int]int (expected: struct_storage_S#3)
./if_fine.sol.bpl(130,21): Error: invalid type for argument 0 in application of f#2#S#3#constr: [int]int (expected: struct_storage_S#3)
./if_fine.sol.bpl(130,47): Error: invalid type for argument 0 in application of f#2#S#3#constr: [int]int (expected: struct_storage_S#3)
3 type checking errors detected in ./if_fine.sol.bpl

[hajduakos]

Fixed in 5772ac0