Changed Case Study model for a test scenario, that checks that
flattening remove invariants other than typing invariants