fixed offests in very top node vars
added stat for the number of fake invariants