Update assert condition: in case 3, 3@(8,6) can be determined before it's set from init file.