Add check of the ko rule