Added an ignore section for some invariants