fixed block building for intervals such as 1..5 using Boundary Value
Analysis
fixed boundary value blocks for INT and NAT predicates, they now use
MAXINT and MININT for limits