Add CHECK_CANONCIAL_SYSTEM.