Checks for the constructor and ability to call functions

Depends on #621 
Maybe ?
```c++
namespace dev
{
namespace solidity
{
```