more verbose filtering of unsuitable invariants