fixed a bug where the tool was generating negative blocks for intervals
on invariant clauses.
Fixed a bug where the tool was generating negative blocks for interval
clauses on the invariant