collect invariants into a list