add invariant clauses to struct/dc (keyword #:inv)