Add hltecan to assert