Fix invalid array bounds during static analysis

[veewee]

Fixes php-soap/wsdl-reader#26

@lstrojny : I decided to go this way since it is the easiest way to go forward.

The array-bounds will always be calculated based on int<0, maxOccurs - 1>:
When minOccurs > 0, the array will become a non-empty-array.

Examples:

// minOccurs=0, maxOccurs=-1
array<int<0, max>, Tv>

// minOccurs=1, maxOccurs=-1
non-empty-array<int<0, max>, Tv>

// minOccurs=0, maxOccurs=0
array<never, Tv>

// minOccurs=0, maxOccurs=1
array<int<0,0>, Tv>

// minOccurs=0, maxOccurs=2
array<int<0,1>, Tv>

// minOccurs=1, maxOccurs=2
non-empty-array<int<0,1>, Tv>

This should solve your issue.

If someone cares enough to improve this, I'm always open into considering something like:

array{0: string, 1 ?: string, ...string}

(limited to x amount of items to avoid too large shapes being generated)

Yet I think this should be sufficient for now.

[lstrojny]

Tried and the solutions works perfectly fine. Thank you!