do not display empty invariants when reading