Bug fixing and debugging smart contracts