Improvements on modifier/constructor calls support

[montyly]

• Add support for ternary operator in modifier/constructor calls (function f() public modif( condition?1:2))
• Add NOP IR to represent void constructor
• Add void-constructor detector

Void constructors are calls to non-existing constructor, such as:

contract C{ }

contract D is C{
    constructor() public C(){
    }
}