Removed some checks for abstract llvm types that were too strict, a 'opaque* null' is a valid initializer... when structs in D can be just a forward reference.

module bug4;

int func(int i)
{
    i += 2;
    i -= 3;
    return i;
}

void main()
{
    assert(func(4) == 3);
}