Bugfix

Solidity Bugfix Release

The most recent version 0.4.25 release of Solidity fixes two essential bugs. One other essential bug has already been fastened…