replace assert to verify