TESTING: add @Ignore annotation to Invariant test