CFY-3 add assertions