One state monolithic invariant generation without communication.