Fix bug in invariant generation