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