Temporarily comment out invariant check. Needs to be fixed!: