Handle hash("") properly(or is it necessary?)

## Description
Currently the keccak_256("") isn't handled well as we can't model it as a bitvector. It's also debatable that there is of no use modelling it well because we won't have a bitvector `x` as input where keccak(x) == keccak("") as x can't have 0 bits.